Skip to content

Actions: kim-em/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
85 workflow runs
85 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
address review comments Autolabel PRs #85: Commit 91dde1e pushed by kim-em
1s feat/artin-auxiliary-lemmas
feat/artin-auxiliary-lemmas
1s
Merge remote-tracking branch 'upstream/master' into shake-followup Autolabel PRs #84: Commit 8b5da2f pushed by bryangingechen
Skipped shake-followup
shake-followup
Skipped
chore: remove --rw /tmp landrun workaround for leantar Autolabel PRs #83: Commit da0f9cc pushed by kim-em
1s nightly-testing
nightly-testing
1s
Merge remote-tracking branch 'origin/master' into find-ci-errors-script Autolabel PRs #82: Commit 6813e09 pushed by kim-em
1s find-ci-errors-script
find-ci-errors-script
1s
Merge remote-tracking branch 'origin/master' into paths_discrete Autolabel PRs #81: Commit ffb9efc pushed by kim-em
1s paths_discrete
paths_discrete
1s
Merge remote-tracking branch 'upstream/master' into kim/tensor_exact_… Autolabel PRs #80: Commit 7bd0f7e pushed by kim-em
2s kim/tensor_exact_pairing
kim/tensor_exact_pairing
2s
kill me now Autolabel PRs #79: Commit ae02454 pushed by kim-em
1s lean-pr-testing-12179-attempt-1
lean-pr-testing-12179-attempt-1
1s
empty commit to retrigger CI Autolabel PRs #78: Commit 47811c9 pushed by kim-em
1s nightly-testing
nightly-testing
1s
Merge remote-tracking branch 'origin/master' into pipeline-cache-deco… Autolabel PRs #77: Commit 8237697 pushed by kim-em
3s pipeline-cache-decompression
pipeline-cache-decompression
3s
feat(GroupTheory/Artin): add braid groups as Artin groups of type A Autolabel PRs #76: Commit 39cdfc5 pushed by kim-em
Skipped feat/artin-braid-groups
feat/artin-braid-groups
Skipped
fix: provide explicit map_add proof for triangleFunctor.Additive Autolabel PRs #75: Commit 4e534cb pushed by kim-em
1s simps-respects-non-exposed-body
simps-respects-non-exposed-body
1s
Merge remote-tracking branch 'upstream/master' into shake-2026-01-28 Autolabel PRs #74: Commit f5f0550 pushed by kim-em
1s shake-2026-01-28
shake-2026-01-28
1s
Merge remote-tracking branch 'upstream/master' into kim/move-OrderDual Autolabel PRs #73: Commit 89a27c8 pushed by kim-em
1s kim/move-OrderDual
kim/move-OrderDual
1s
fix(GCongr): handle @[reducible] HasSSubset.SSubset in hypothesis cla… Autolabel PRs #72: Commit 4591082 pushed by kim-em
1s gcongr-port-from-nightly
gcongr-port-from-nightly
1s
refactor(Cache): merge #34667 and address review comments Autolabel PRs #71: Commit 8c564f1 pushed by kim-em
1s pipeline-cache-decompression
pipeline-cache-decompression
1s
deps Autolabel PRs #70: Commit 094bfc7 pushed by kim-em
2s 12244
12244
2s
Merge branch 'master' into feat/artin-braid-groups Autolabel PRs #69: Commit 4e534a9 pushed by kim-em
1s feat/artin-braid-groups
feat/artin-braid-groups
1s
Merge remote-tracking branch 'origin/master' into shake-2026-01-28 Autolabel PRs #68: Commit 64d67e2 pushed by kim-em
Skipped shake-2026-01-28
shake-2026-01-28
Skipped
chore: migrate merge-conflicts workflow to GitHub App Autolabel PRs #67: Commit 5336f0e pushed by kim-em
1s migrate-merge-conflicts-to-app
migrate-merge-conflicts-to-app
1s
Merge upstream/master, keep githelper bullets and add topological_sor… Autolabel PRs #66: Commit 3f245b9 pushed by kim-em
1s topological_sort
topological_sort
1s
Merge upstream/master, keep both range_subset_iff and Path.id Autolabel PRs #65: Commit 2d6cc79 pushed by kim-em
1s SLSC
SLSC
1s
Merge upstream/master, resolve README conflict Autolabel PRs #64: Commit 19f9c21 pushed by kim-em
1s find-ci-errors-script
find-ci-errors-script
1s
Merge branch 'master' into simps-respects-non-exposed-body Autolabel PRs #63: Commit d0701e8 pushed by joneugster
1s simps-respects-non-exposed-body
simps-respects-non-exposed-body
1s
Merge remote-tracking branch 'upstream/master' into remove-longest-pole Autolabel PRs #62: Commit fe59aec pushed by kim-em
2s remove-longest-pole
remove-longest-pole
2s
chore: allow PR authors to set topic labels via comments Autolabel PRs #61: Commit 7483708 pushed by kim-em
1s add-topic-labels-to-comment-workflow
add-topic-labels-to-comment-workflow
1s
⚡