Skip to content

Actions: thorimur/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
33 workflow runs
33 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge remote-tracking branch 'upstream/master' into meta-cafe Autolabel PRs #33: Commit fb7da9c pushed by thorimur
1s meta-cafe
meta-cafe
1s
Merge remote-tracking branch 'upstream/master' into bench-overlapping… Autolabel PRs #32: Commit 75ea77b pushed by thorimur
1s bench-overlapping-change
bench-overlapping-change
1s
chore: fix tests... Autolabel PRs #31: Commit 364c1cf pushed by thorimur
1s bench-null
bench-null
1s
chore: haveI' -> have Autolabel PRs #30: Commit 708de14 pushed by thorimur
1s demo-slow
demo-slow
1s
chore: clean up group Autolabel PRs #29: Commit 580dbf4 pushed by thorimur
2s group-cleanup
group-cleanup
2s
feat: rewrite + fix Autolabel PRs #28: Commit cc2c0ae pushed by thorimur
1s checkPrime'
checkPrime'
1s
Merge remote-tracking branch 'upstream/master' into Jovan-overlapping… Autolabel PRs #27: Commit d246cd4 pushed by thorimur
1s Jovan-overlapping-plus-syntax
Jovan-overlapping-plus-syntax
1s
Merge remote-tracking branch 'upstream/master' into uiit-ignore-proofs Autolabel PRs #26: Commit 45a514e pushed by thorimur
1s uiit-ignore-proofs
uiit-ignore-proofs
1s
Merge remote-tracking branch 'upstream/master' into uiit-ignore-proofs Autolabel PRs #25: Commit cd390d6 pushed by thorimur
2s uiit-ignore-proofs
uiit-ignore-proofs
2s
Merge remote-tracking branch 'upstream/master' into Jovan-overlapping… Autolabel PRs #24: Commit 44bc7be pushed by thorimur
1s Jovan-overlapping-plus-syntax
Jovan-overlapping-plus-syntax
1s
Merge remote-tracking branch 'upstream/master' into handle-instance-o… Autolabel PRs #23: Commit 02a689f pushed by thorimur
1s handle-instance-overlaps
handle-instance-overlaps
1s
ci: adapt auto-merge check for GitHub apps bots (#34980) Autolabel PRs #22: Commit 26e91fa pushed by thorimur
Skipped fix-dup-instance-hyps
fix-dup-instance-hyps
Skipped
Merge remote-tracking branch 'upstream/master' into handle-instance-o… Autolabel PRs #21: Commit f95c505 pushed by thorimur
3s handle-instance-overlaps
handle-instance-overlaps
3s
Merge remote-tracking branch 'upstream/master' into whenLinterActivat… Autolabel PRs #20: Commit c7181d6 pushed by thorimur
2s whenLinterActivated-refactor
whenLinterActivated-refactor
2s
Merge remote-tracking branch 'upstream/master' into turn-on-unusedFin… Autolabel PRs #19: Commit f1a3c30 pushed by thorimur
1s turn-on-unusedFintypeInType
turn-on-unusedFintypeInType
1s
Merge remote-tracking branch 'upstream/master' into uiit-ignore-proofs Autolabel PRs #18: Commit 93b0848 pushed by thorimur
1s uiit-ignore-proofs
uiit-ignore-proofs
1s
Merge remote-tracking branch 'upstream/master' into unusedFintypeInTy… Autolabel PRs #17: Commit 9725ba1 pushed by thorimur
1s unusedFintypeInType-linter
unusedFintypeInType-linter
1s
Merge remote-tracking branch 'upstream/master' into whenLinterOption Autolabel PRs #16: Commit cd06131 pushed by thorimur
1s whenLinterOption
whenLinterOption
1s
test: overlapping instances (first pass; all pass, but not comprehens… Autolabel PRs #15: Commit e4cc55e pushed by thorimur
Skipped Jovan-overlapping-plus-syntax
Jovan-overlapping-plus-syntax
Skipped
Merge branch 'master' into whenLinterOption Autolabel PRs #14: Commit 9269c03 pushed by thorimur
1s whenLinterOption
whenLinterOption
1s
chore: mk_all Autolabel PRs #13: Commit 5824d6c pushed by thorimur
Skipped decl-manip-util
decl-manip-util
Skipped
chore: annotate a few false positives Autolabel PRs #12: Commit 3182518 pushed by thorimur
Skipped turn-on-unusedFintypeInType
turn-on-unusedFintypeInType
Skipped
Merge branch 'master' into unusedFintypeInType-linter Autolabel PRs #11: Commit 89a6c82 pushed by thorimur
1s unusedFintypeInType-linter
unusedFintypeInType-linter
1s
Merge branch 'turn-on-unusedDecidableInType' into check-29422-decidable Autolabel PRs #10: Commit 0d1baca pushed by thorimur
1s check-29422-decidable
check-29422-decidable
1s
chore: clean up modulization after rebase Autolabel PRs #9: Commit d034536 pushed by thorimur
1s whenLinterActivated-refactor
whenLinterActivated-refactor
1s