Skip to content

Actions: plp127/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
30 workflow runs
30 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 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
Merge branch 'master' into aliu/hereditarily_normal Autolabel PRs #21: Commit 0e5a618 pushed by plp127
1s aliu/hereditarily_normal
aliu/hereditarily_normal
1s
Merge branch 'master' into aliu/conv Autolabel PRs #20: Commit f5c6e74 pushed by plp127
1s aliu/conv
aliu/conv
1s
feat(Analysis/Complex): exp is covering map (#33564) Autolabel PRs #19: Commit b66f9a3 pushed by plp127
10s master
master
10s
Merge branch 'master' into aliu/conv Autolabel PRs #18: Commit aad1467 pushed by plp127
2s aliu/conv
aliu/conv
2s
Merge branch 'master' into aliu/metrizable Autolabel PRs #17: Commit 97580b8 pushed by plp127
1s aliu/metrizable
aliu/metrizable
1s
golf Autolabel PRs #16: Pull request #1 opened by alreadydone
Skipped
Skipped
chore(Probability): deprecate Independence.Kernel (#32465) Autolabel PRs #15: Commit 571ff86 pushed by plp127
1s master
master
1s
Merge branch 'master' into aliu/depRw Autolabel PRs #14: Commit 9841e82 pushed by plp127
1s aliu/depRw
aliu/depRw
1s
mk_all Autolabel PRs #13: Commit 0f4a0e8 pushed by plp127
1s aliu/uniformizable
aliu/uniformizable
1s
Merge branch 'master' into aliu/metrizable Autolabel PRs #12: Commit 0c8f4c0 pushed by plp127
1s aliu/metrizable
aliu/metrizable
1s
eliminate impossible cases Autolabel PRs #11: Commit c0ad386 pushed by plp127
1s aliu/ccc
aliu/ccc
1s
chore: adaptations for batteries#1441 (#30138) Autolabel PRs #10: Commit cda9a04 pushed by plp127
1s master
master
1s
fix proof Autolabel PRs #9: Commit 6ac6116 pushed by plp127
Skipped aliu/comphaus
aliu/comphaus
Skipped
Merge branch 'master' into aliu/metrizable Autolabel PRs #8: Commit 6840143 pushed by urkud
1s aliu/metrizable
aliu/metrizable
1s
Merge branch 'master' into aliu/natint Autolabel PRs #7: Commit 86b8570 pushed by plp127
1s aliu/natint
aliu/natint
1s
mem Autolabel PRs #6: Commit daf3df8 pushed by plp127
1s aliu/R1sober
aliu/R1sober
1s