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
103 workflow runs
103 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
chore: adapt to lean-pr-testing-13562 b5854c5 Autolabel PRs #103: Commit 529b6e1 pushed by kim-em
1s lean-pr-testing-13562
lean-pr-testing-13562
1s
fix: drop stale Reorder defs re-added during merge Autolabel PRs #102: Commit 1c5de37 pushed by kim-em
Skipped bump/nightly-2026-05-07
bump/nightly-2026-05-07
Skipped
Merge remote-tracking branch 'upstream/master' into kim/tensor_exact_… Autolabel PRs #101: Commit 25f7106 pushed by kim-em
1s kim/tensor_exact_pairing
kim/tensor_exact_pairing
1s
Merge remote-tracking branch 'upstream/master' into kim/to-dual-compl… Autolabel PRs #100: Commit f356ee5 pushed by kim-em
1s kim/to-dual-complete-lattice-extras
kim/to-dual-complete-lattice-extras
1s
refactor: unbundle splitting unit u from BinaryConvexOp Autolabel PRs #99: Commit 37d3127 pushed by kim-em
1s convex_of_affine
convex_of_affine
1s
ci: block merging PRs that increase technical debt unless reviewed Autolabel PRs #98: Commit a2f42aa pushed by kim-em
1s prevent-technical-debt-2-independent
prevent-technical-debt-2-independent
1s
chore: address review comments on antipode_mul proof Autolabel PRs #97: Commit 0318397 pushed by kim-em
1s hopf-antipode-antihom
hopf-antipode-antihom
1s
chore: merge upstream/master into paths_discrete Autolabel PRs #96: Commit 49ac32e pushed by kim-em
2s paths_discrete
paths_discrete
2s
style(Topology/Homotopy): tweak subpath homotopy layout Autolabel PRs #95: Commit e07a6a3 pushed by kim-em
1s subpathOn
subpathOn
1s
refactor(Path): add codRestrict' API Autolabel PRs #94: Commit 2544ac1 pushed by kim-em
1s SLSC
SLSC
1s
chore(Topology): restack paths_discrete dependencies Autolabel PRs #93: Commit e9d109b pushed by kim-em
1s paths_discrete
paths_discrete
1s
refactor(Topology): strengthen path partition conclusions Autolabel PRs #92: Commit 0a0c232 pushed by kim-em
Skipped lebesgue-partition
lebesgue-partition
Skipped
address review: remove .claude folder, apply text suggestions Autolabel PRs #91: Commit dfe55d3 pushed by kim-em
1s kim/to-dual-docs
kim/to-dual-docs
1s
doc: add missing LaTeX markers in docstrings Autolabel PRs #90: Commit d23b456 pushed by kim-em
1s feat/artin-braid-groups
feat/artin-braid-groups
1s
chore: move definitions into CoxeterMatrix namespace Autolabel PRs #89: Commit cb5d6b5 pushed by kim-em
1s feat/coxeter-perm
feat/coxeter-perm
1s
fix: provide explicit map_add proof for triangleFunctor.Additive Autolabel PRs #88: Commit 177a992 pushed by kim-em
1s simps-respects-non-exposed-body
simps-respects-non-exposed-body
1s
feat(GroupTheory/Artin): define Artin groups and their universal prop… Autolabel PRs #87: Commit 7e70a11 pushed by kim-em
1s feat/artin-groups
feat/artin-groups
1s
chore: revert module keyword on incompatible Archive files Autolabel PRs #86: Commit d30be9c pushed by kim-em
1s module-archive-counterexamples
module-archive-counterexamples
1s
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