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
test: specify univ vars in Cat Autolabel PRs #25793: Pull request #39711 opened by robin-carlier
1m 12s
1m 12s
feat(AlgebraicGeometry/AffineSpace): affine space is smooth Autolabel PRs #25792: Pull request #39710 opened by justus-springer
1m 19s
1m 19s
feat(RingTheory/): MvPolynomial is standard smooth Autolabel PRs #25791: Pull request #39709 opened by justus-springer
1m 12s
1m 12s
[Merged by Bors] - feat(RingTheory/Smooth/Basic): add Generators.mvPolynomial Autolabel PRs #25790: Pull request #39708 opened by justus-springer
1m 12s
1m 12s
[Merged by Bors] - chore(Data/Tree/Basic): Rename Tree to BinaryTree Autolabel PRs #25789: Pull request #39707 opened by sorrachai
1m 23s
1m 23s
[Merged by Bors] - chore(RingTheory/Smooth/Basic): fix namespace of mvPolynomial instance Autolabel PRs #25788: Pull request #39706 opened by justus-springer
1m 15s
1m 15s
[Merged by Bors] - doc(RingTheory/Extension/Generators): fix docstring variable name mismatch Autolabel PRs #25787: Pull request #39705 opened by justus-springer
1m 23s
1m 23s
[Merged by Bors] - chore(RingTheory/Smooth/StandardSmoothCotangent): fix typo in instance name Autolabel PRs #25786: Pull request #39704 opened by justus-springer
1m 24s
1m 24s
chore: create a Basic top folder Autolabel PRs #25785: Pull request #39703 opened by YaelDillies
1m 22s
1m 22s
feat(Archive): dual Langer graph, non-isomorphism via d₃-connectivity Autolabel PRs #25784: Pull request #39702 opened by RaggedR
1m 14s
1m 14s
feat(Condensed/Solid): prove profiniteSolidification is iso at finite types (partial) Autolabel PRs #25783: Pull request #39701 opened by thothrde
1m 13s
1m 13s
Add proof of the existence of eulerian path Autolabel PRs #25782: Pull request #39700 opened by samuelchassot
1m 32s
1m 32s
chore: refactor Algebra.TensorProduct.rightAlgebra Autolabel PRs #25781: Pull request #39699 opened by kbuzzard
1m 14s
1m 14s
feat(Archive): Meinhold family — five Sabidussi coset graphs of G₂(2) Autolabel PRs #25780: Pull request #39698 opened by RaggedR
1m 15s
1m 15s
feat(Data/Tree/Basic): add Membership instance, new notation, rename Tree Autolabel PRs #25779: Pull request #39697 opened by sorrachai
1m 12s
1m 12s
refactor(LinearAlgebra/Orientation,LinearAlgebra/AffineSpace/FiniteDimensional): instances for arbitrary orientations Autolabel PRs #25778: Pull request #39696 opened by jsm28
1m 14s
1m 14s
feat(Archive): Zhou-3 arc-transitivity and Lorimer quotient to Zhou-6 Autolabel PRs #25777: Pull request #39695 opened by RaggedR
1m 13s
1m 13s
[Merged by Bors] - chore(RingTheory/TensorProduct/Basic): some API for includeLeft and includeRight Autolabel PRs #25776: Pull request #39694 opened by themathqueen
1m 14s
1m 14s
[Merged by Bors] - feat(Combinatorics/Enumerative/Bell): sum over partition shapes Autolabel PRs #25775: Pull request #39693 opened by yuanyi-350
1m 21s
1m 21s
chore(Algebra/Order/BigOperators): follow the ₀ naming convention Autolabel PRs #25774: Pull request #39692 opened by YaelDillies
1m 14s
1m 14s
[Merged by Bors] - feat(Topology): An open cover of a preconnected set has no isolated components Autolabel PRs #25773: Pull request #39691 opened by Raph-DG
1m 19s
1m 19s
[Merged by Bors] - feat(Analysis/Complex/Exponential): add new bounds on exponential Autolabel PRs #25772: Pull request #39690 opened by b-mehta
1m 15s
1m 15s
perf: increase prio of AddCommMonoid.toAddMonoid Autolabel PRs #25771: Pull request #39689 opened by kbuzzard
1m 23s
1m 23s
chore(Algebra/Group/Units/Hom): Remove FunLike from IsLocalHom Autolabel PRs #25770: Pull request #39688 opened by tb65536
1m 14s
1m 14s
feat(Algebra/Group/Submonoid): type class to indicate that supremum in a SubmonoidClass agrees with supremum of submonoids Autolabel PRs #25769: Pull request #39687 opened by TentativeConvert
1m 10s
1m 10s
ProTip! You can narrow down the results and go further in time using created:<2026-05-22 or the other filters available.