Skip to content

Actions: plp127/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
46 workflow runs
46 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
generalize to Sort Autolabel PRs #46: Commit ae99369 pushed by plp127
6s aliu/set-lattice
aliu/set-lattice
6s
Merge branch 'master' into aliu/set-coe Autolabel PRs #45: Commit c02dada pushed by plp127
1s aliu/set-coe
aliu/set-coe
1s
feat(Topology/MetricSpace): the L^p direct sum of metric spaces (#40212) Autolabel PRs #44: Commit 0f320b0 pushed by plp127
1s master
master
1s
Merge branch 'master' into aliu/valuation Autolabel PRs #43: Commit d7ec53e pushed by plp127
1s aliu/valuation
aliu/valuation
1s
Merge branch 'master' into aliu/hom_pow Autolabel PRs #42: Commit 61d6638 pushed by plp127
1s aliu/hom_pow
aliu/hom_pow
1s
Merge branch 'master' into aliu/set-coe Autolabel PRs #41: Commit 933382d pushed by plp127
2s aliu/set-coe
aliu/set-coe
2s
Merge branch 'master' into aliu/gdelta Autolabel PRs #40: Commit 2e682fa pushed by plp127
1s aliu/gdelta
aliu/gdelta
1s
feat(LinearAlgebra/AffineSpace/AffineSubspace): using `AffineSubspace… Autolabel PRs #39: Commit 97f1212 pushed by plp127
1s master
master
1s
Merge branch 'master' into aliu/inducing-free Autolabel PRs #38: Commit 7b9b73e pushed by plp127
1s aliu/inducing-free
aliu/inducing-free
1s
Merge branch 'master' into aliu/symm-trans Autolabel PRs #37: Commit 9c7f4b9 pushed by plp127
1s aliu/symm-trans
aliu/symm-trans
1s
chore(RingTheory/ClassGroup): deprecate module (#40157) Autolabel PRs #36: Commit 45edb79 pushed by plp127
1s master
master
1s
try fix conflicts Autolabel PRs #35: Commit 79ffd29 pushed by plp127
2s aliu/hom_pow
aliu/hom_pow
2s
Merge branch 'master' into aliu/set-coe Autolabel PRs #34: Commit 6fbff5a pushed by plp127
6s aliu/set-coe
aliu/set-coe
6s
Merge branch 'master' into aliu/ccc Autolabel PRs #33: Commit e30ee5e pushed by plp127
1s aliu/ccc
aliu/ccc
1s
Merge branch 'master' into aliu/krullTopology Autolabel PRs #32: Commit e9d7042 pushed by plp127
1s aliu/krullTopology
aliu/krullTopology
1s
feat(Perm/Fin): generalize sign_finRotate (#39209) Autolabel PRs #31: Commit 7e31c21 pushed by plp127
1s master
master
1s
Merge branch 'master' into aliu/krullTopology Autolabel PRs #30: Commit b08bce4 pushed by plp127
1s aliu/krullTopology
aliu/krullTopology
1s
Merge branch 'master' into aliu/free Autolabel PRs #29: Commit fc2e217 pushed by plp127
1s aliu/free
aliu/free
1s
Merge branch 'master' into aliu/cyclicEquiv Autolabel PRs #28: Commit 8b87875 pushed by plp127
1s aliu/cyclicEquiv
aliu/cyclicEquiv
1s
chore: replace aesop with lia where possible (#35695) Autolabel PRs #27: Commit a99960b pushed by plp127
1s master
master
1s
Merge branch 'master' into aliu/partialfractions Autolabel PRs #26: Commit a3afadf pushed by plp127
1s aliu/partialfractions
aliu/partialfractions
1s
chore: update Mathlib dependencies 2026-02-18 (#35468) Autolabel PRs #25: Commit 074cbbd pushed by plp127
1s master
master
1s
Merge branch 'master' into aliu/eq-subset Autolabel PRs #24: Commit cc0b184 pushed by plp127
Skipped aliu/eq-subset
aliu/eq-subset
Skipped
ci: Change display names to avoid on-cancellation quirk (#34794) Autolabel PRs #23: Commit b85a40b pushed by plp127
1s master
master
1s
Merge branch 'master' into aliu/ccc Autolabel PRs #22: Commit a51dcf5 pushed by plp127
1s aliu/ccc
aliu/ccc
1s