Skip to content

Actions: leanprover/lean4

Actions

Check awaiting-manual label

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
awaiting-manual.yml
10,389 workflow run results
10,389 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: in CaseValues, subst only once Check awaiting-manual label #10321: Pull request #11510 labeled by nomeata
11s joachim/caseValues-subst-once2
joachim/caseValues-subst-once2
11s
feat: lint coercions that are deprecated or banned in core Check awaiting-manual label #10319: Pull request #11163 synchronize by datokrat
8s paul/slices/subarraycopy
paul/slices/subarraycopy
8s
perf: avoid double-open per .olean file Check awaiting-manual label #10318: Pull request #11507 synchronize by Kha
7s Kha:push-tmqvuvuxqlsr
Kha:push-tmqvuvuxqlsr
7s
feat: shake: make Mathlib-ready Check awaiting-manual label #10317: Pull request #11496 synchronize by Kha
6s Kha:push-ytyquotvwtmk
Kha:push-ytyquotvwtmk
6s
perf: in CaseValues, subst only once Check awaiting-manual label #10316: Pull request #11506 synchronize by nomeata
8s joachim/caseValues-subst-once
joachim/caseValues-subst-once
8s
perf: make more SizeOf instances noncomputable Check awaiting-manual label #10315: Pull request #11505 labeled by leanprover-community-bot
9s joachim/noncomputable-sizeof
joachim/noncomputable-sizeof
9s
perf: in CaseValues, subst only once Check awaiting-manual label #10314: Pull request #11506 labeled by nomeata
8s joachim/caseValues-subst-once
joachim/caseValues-subst-once
8s
perf: when matching on values, avoid generating hyps when not needed Check awaiting-manual label #10313: Pull request #11508 unlabeled by nomeata
8s joachim/casesValues-no-hyps
joachim/casesValues-no-hyps
8s
perf: when matching on values, avoid generating hyps when not needed Check awaiting-manual label #10312: Pull request #11508 labeled by nomeata
8s joachim/casesValues-no-hyps
joachim/casesValues-no-hyps
8s
perf: in CaseValues, subst only once Check awaiting-manual label #10311: Pull request #11506 synchronize by nomeata
8s joachim/caseValues-subst-once
joachim/caseValues-subst-once
8s
doc: write a guideline for tactic docstrings Check awaiting-manual label #10310: Pull request #11406 synchronize by Vierkantor
6s Vierkantor:tactic-doc-styleguide
Vierkantor:tactic-doc-styleguide
6s
feat: lint coercions that are deprecated or banned in core Check awaiting-manual label #10309: Pull request #11163 synchronize by datokrat
8s paul/slices/subarraycopy
paul/slices/subarraycopy
8s
perf: avoid double-open per .olean file Check awaiting-manual label #10308: Pull request #11507 synchronize by Kha
5s Kha:push-tmqvuvuxqlsr
Kha:push-tmqvuvuxqlsr
5s
feat: add decidable equality to DHashMap/HashMap/HashSet and their extensional variants Check awaiting-manual label #10307: Pull request #11421 synchronize by wkrozowski
9s wkrozowski:wojciech/hashmap_deceq
wkrozowski:wojciech/hashmap_deceq
9s
feat: add BEq to DTreeMap/TreeMap/TreeSet and their extensional variants Check awaiting-manual label #10306: Pull request #11404 synchronize by wkrozowski
12s wkrozowski:wojciech/treemap_beq
wkrozowski:wojciech/treemap_beq
12s
perf: make more SizeOf instances noncomputable Check awaiting-manual label #10305: Pull request #11505 labeled by nomeata
10s joachim/noncomputable-sizeof
joachim/noncomputable-sizeof
10s
feat: add BEq to DHashMap/HashMap/HashSet and their extensional variants Check awaiting-manual label #10304: Pull request #11266 synchronize by wkrozowski
8s wkrozowski:wojciech/hashmap_beq2
wkrozowski:wojciech/hashmap_beq2
8s
feat: add BEq to DHashMap/HashMap/HashSet and their extensional variants Check awaiting-manual label #10303: Pull request #11266 synchronize by wkrozowski
8s wkrozowski:wojciech/hashmap_beq2
wkrozowski:wojciech/hashmap_beq2
8s
perf: when matching on values, avoid generating hyps when not needed Check awaiting-manual label #10301: Pull request #11508 opened by nomeata
8s joachim/casesValues-no-hyps
joachim/casesValues-no-hyps
8s
perf: when matching on values, avoid generating hyps when not needed Check awaiting-manual label #10302: Pull request #11508 labeled by nomeata
7s joachim/casesValues-no-hyps
joachim/casesValues-no-hyps
7s
feat: add difference on ExtDTreeMap/ExtTreeMap/TreeSet Check awaiting-manual label #10300: Pull request #11408 synchronize by wkrozowski
9s wkrozowski:wojciech/extdtreemap_diff2
wkrozowski:wojciech/extdtreemap_diff2
9s
feat: add difference on ExtDHashMap/ExtHashMap/ExtHashSet Check awaiting-manual label #10299: Pull request #11399 synchronize by wkrozowski
5s wkrozowski:wojciech/extdhashmap_diff
wkrozowski:wojciech/extdhashmap_diff
5s
perf: make more SizeOf instances noncomputable Check awaiting-manual label #10298: Pull request #11505 synchronize by nomeata
7s joachim/noncomputable-sizeof
joachim/noncomputable-sizeof
7s
perf: avoid double-open per .olean file Check awaiting-manual label #10297: Pull request #11507 opened by Kha
8s Kha:push-tmqvuvuxqlsr
Kha:push-tmqvuvuxqlsr
8s
feat: lint coercions that are deprecated or banned in core Check awaiting-manual label #10296: Pull request #11163 synchronize by datokrat
8s paul/slices/subarraycopy
paul/slices/subarraycopy
8s