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(Topology/Algebra/Module/Complement): bundle prodEquivOfIsCompl… Autolabel PRs #25658: Commit da121d2 pushed by mathlib-bors Bot
1m 15s staging-squash-merge.tmp
staging-squash-merge.tmp
1m 15s
[Merged by Bors] - feat(LinearAlgebra/Projectivization/Action): add instance of SL(n, F) acting on PF^n Autolabel PRs #25657: Pull request #39584 opened by Whysoserioushah
1m 24s
1m 24s
refactor: change definition of restricted power series to align with restricted multivariate power series Autolabel PRs #25656: Pull request #39583 opened by WilliamCoram
1m 13s
1m 13s
[Merged by Bors] - chore: unsimp Set.coe_setOf Autolabel PRs #25655: Pull request #39582 opened by plp127
1m 14s
1m 14s
[Merged by Bors] - feat(LinearAlgebra/Matrix/SpecialLinearGroup): Add action on R^n Autolabel PRs #25654: Pull request #39581 opened by Whysoserioushah
1m 21s
1m 21s
feat(Data/Finset/Powerset): add biUnion_id_subset_iff_subset_powerset… Autolabel PRs #25653: Commit 9f4b375 pushed by mathlib-bors Bot
1m 14s staging-squash-merge.tmp
staging-squash-merge.tmp
1m 14s
[Merged by Bors] - chore(CategoryTheory/Limits): rename mkFanLimit to Fan.IsLimit.mk Autolabel PRs #25652: Pull request #39580 opened by chrisflav
1m 30s
1m 30s
feat(RingTheory): Bialgebra / Hopf algebra structure on SymmetricAlgebra Autolabel PRs #25651: Pull request #39579 opened by hawkrobe
1m 23s
1m 23s
chore(RingTheory/Polynomial/Resultant/Basic): delete solved TODO abou… Autolabel PRs #25650: Commit e71becb pushed by mathlib-bors Bot
1m 17s staging-squash-merge.tmp
staging-squash-merge.tmp
1m 17s
[Merged by Bors] - chore: update Mathlib dependencies 2026-05-19 Autolabel PRs #25649: Pull request #39578 opened by mathlib-update-dependencies Bot
1m 17s
1m 17s
[Merged by Bors] - feat(Data/NNReal): nnabs n = n for n : ℕ Autolabel PRs #25648: Pull request #39577 opened by YaelDillies
1m 19s
1m 19s
[Merged by Bors] - chore(Topology): generalize Topology.IsEmbedding.perfectlyNormalSpace Autolabel PRs #25647: Pull request #39576 opened by plp127
1m 21s
1m 21s
chore(Data/Finsupp): make mapDomain_congr congr Autolabel PRs #25646: Pull request #39575 opened by YaelDillies
1m 25s
1m 25s
feat(Analysis/Calculus/LipschitzSmooth): add LipschitzSmoothWith and CocoerciveWith Autolabel PRs #25645: Pull request #39574 opened by FordUniver
1m 21s
1m 21s
feat(Combinatorics/SimpleGraph/Automorphism): Aut, autCount, and orbit-stabiliser for copies and embeddings Autolabel PRs #25644: Pull request #39573 opened by FordUniver
1m 23s
1m 23s
[Merged by Bors] - feat(Algebra/Category/Ring): Under.pushout preserves finite limits for properties with stable equalizers Autolabel PRs #25643: Pull request #39572 opened by chrisflav
1m 17s
1m 17s
feat(Combinatorics/SimpleGraph): canonical projection and representative between labeled and unlabeled copies Autolabel PRs #25642: Pull request #39571 opened by FordUniver
1m 21s
1m 21s
[Merged by Bors] - chore: update Mathlib dependencies 2026-05-19 Autolabel PRs #25641: Pull request #39570 opened by mathlib-update-dependencies Bot
1m 15s
1m 15s
feat(Mathlib/Data/Finite/Units): Units are (in)finite if type is (in)finite Autolabel PRs #25640: Pull request #39569 opened by AlexBrodbelt
1m 24s
1m 24s
feat(Mathlib/Data/Finite/Subtype): Subtype of elements not equal to a term is finite iff type is finite Autolabel PRs #25639: Pull request #39568 opened by AlexBrodbelt
1m 24s
1m 24s
feat(Mathlib/Data/Finite/Option): option type is finite iff type is finite Autolabel PRs #25638: Pull request #39567 opened by AlexBrodbelt
1m 14s
1m 14s
chore(LinearAlgebra/SesquilinearForm): generalize orthogonalBilin i… Autolabel PRs #25637: Commit ae225e9 pushed by mathlib-bors Bot
1m 10s staging-squash-merge.tmp
staging-squash-merge.tmp
1m 10s
[Merged by Bors] - feat: simple lemmas on circle integrability Autolabel PRs #25636: Pull request #39566 opened by kebekus
1m 16s
1m 16s
[Merged by Bors] - chore: rename some OpenPartialHomeomorph declarations Autolabel PRs #25635: Pull request #39565 opened by scholzhannah
1m 13s
1m 13s
[Merged by Bors] - chore(Analysis/SpecialFunctions/Log/PosLog): fix non-terminal simp Autolabel PRs #25634: Pull request #39564 opened by kebekus
1m 17s
1m 17s
ProTip! You can narrow down the results and go further in time using created:<2026-05-19 or the other filters available.