Skip to content

Actions: leanprover-community/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
2,500+ workflow runs
2,500+ 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
feat: tag the pointwise MeasureTheory operation families with to_fun Autolabel PRs #27280: Pull request #41091 opened by teorth
1m 17s
1m 17s
feat(MeasureTheory/MeasurableSpace/Basic): add map_comap_eq_of_surjective and measurable_comap_iff_right Autolabel PRs #27279: Pull request #41090 opened by teorth
1m 29s
1m 29s
chore(ci): bump pinned GitHub Actions to latest Autolabel PRs #27278: Pull request #41089 opened by marcelolynch
1m 28s
1m 28s
chore: update Mathlib dependencies 2026-06-26-18-33 Autolabel PRs #27277: Commit 302352a pushed by mathlib-update-dependencies Bot
1m 20s update-dependencies-bot-use-only
update-dependencies-bot-use-only
1m 20s
ci: bump actions/checkout to v7.0.0 (#41084) Autolabel PRs #27276: Commit 69b0edc pushed by mathlib-bors Bot
1m 17s master
master
1m 17s
ci: bump actions/checkout to v7.0.0 (#41084) Autolabel PRs #27275: Commit 69b0edc pushed by mathlib-bors Bot
1m 17s staging
staging
1m 17s
feat(Topology): sheafRestrict is a right adjoint Autolabel PRs #27274: Pull request #41088 opened by Brian-Nugent
1m 17s
1m 17s
chore(AlgebraicGeometry): add LocallyRingedSpace.residue Autolabel PRs #27273: Pull request #41087 opened by chrisflav
1m 17s
1m 17s
feat(RingTheory): etale lifting property of henselian local rings Autolabel PRs #27272: Pull request #41086 opened by erdOne
1m 18s
1m 18s
feat(CategoryTheory): stalks of a presheaf on an indiscrete topological space Autolabel PRs #27271: Pull request #41085 opened by chrisflav
1m 18s
1m 18s
[Merged by Bors] - ci: bump actions/checkout to v7.0.0 Autolabel PRs #27270: Pull request #41084 opened by marcelolynch
1m 19s
1m 19s
feat(CategoryTheory/Sites): local sites Autolabel PRs #27269: Pull request #41083 opened by peabrainiac
1m 19s
1m 19s
feat(Logic/Function/Defs): add Function.diag Autolabel PRs #27268: Pull request #41082 opened by wrenna-robson
1m 18s
1m 18s
feat(RepresentationTheory): add Subrepresentation.toRepresentation_apply and Subrepresentation.quotient Autolabel PRs #27267: Pull request #41081 opened by JX-Mo
1m 17s
1m 17s
chore: update Mathlib dependencies 2026-06-26-14-52 Autolabel PRs #27266: Commit cc34296 pushed by mathlib-update-dependencies Bot
1m 26s update-dependencies-bot-use-only
update-dependencies-bot-use-only
1m 26s
feat: vector measures with density wrt vector measures Autolabel PRs #27265: Pull request #41080 opened by sgouezel
1m 27s
1m 27s
ci: revert #41055 (#41078) Autolabel PRs #27264: Commit 33633b7 pushed by mathlib-bors Bot
1m 17s master
master
1m 17s
ci: revert #41055 (#41078) Autolabel PRs #27263: Commit 33633b7 pushed by mathlib-bors Bot
1m 17s staging
staging
1m 17s
chore: use NeBot in left and right limits Autolabel PRs #27262: Pull request #41079 opened by sgouezel
1m 19s
1m 19s
[Merged by Bors] - ci: revert #41055 Autolabel PRs #27261: Pull request #41078 opened by bryangingechen
1m 26s
1m 26s
chore: update Mathlib dependencies 2026-06-26-13-38 Autolabel PRs #27260: Commit 3d86edf pushed by mathlib-update-dependencies Bot
1m 24s update-dependencies-bot-use-only
update-dependencies-bot-use-only
1m 24s
chore(RingTheory/Ideal/Norm/RelNorm): switch over to new definitions of ramificationIdx and inertiaDeg Autolabel PRs #27259: Pull request #41077 opened by tb65536
1m 22s
1m 22s
ci: bump actions/checkout to v7.0.0 (#41055) Autolabel PRs #27258: Commit 7f60f15 pushed by mathlib-bors Bot
1m 17s master
master
1m 17s
ci: bump actions/checkout to v7.0.0 (#41055) Autolabel PRs #27257: Commit 7f60f15 pushed by mathlib-bors Bot
1m 28s staging
staging
1m 28s
ci: bump actions/checkout to v7.0.0 (#41055) Autolabel PRs #27256: Commit dbfcac3 pushed by mathlib-bors Bot
1m 16s trying
trying
1m 16s