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
[Merged by Bors] - doc(CategoryTheory): fix typo Autolabel PRs #25818: Pull request #39737 opened by NoahW314
1m 13s
1m 13s
feat(RingTheory/MvPolynomial/MonomialOrder): add leadingTerm lemmas Autolabel PRs #25817: Pull request #39736 opened by NoahW314
1m 11s
1m 11s
feat(LinearAlgebra/Matrix): regularized inverse limit and trace continuity Autolabel PRs #25816: Pull request #39735 opened by allenhaozhu
1m 12s
1m 12s
feat(Analysis/CStarAlgebra/CStarMatrix): operator-monotone rpow/log/sqrt specializations Autolabel PRs #25815: Pull request #39734 opened by allenhaozhu
1m 12s
1m 12s
feat(LinearAlgebra/Matrix): nonsingular inverse commutes with any monoid hom of matrix rings Autolabel PRs #25814: Pull request #39733 opened by allenhaozhu
1m 21s
1m 21s
feat: the club filter Autolabel PRs #25813: Pull request #39732 opened by vihdzp
1m 11s
1m 11s
[Merged by Bors] - feat(CategoryTheory): local epimorphisms wrt. an object property Autolabel PRs #25812: Pull request #39731 opened by chrisflav
1m 12s
1m 12s
[Merged by Bors] - feat: the sigma-algebra generated by a stochastic process is the coarsest that makes all its marginals measurable Autolabel PRs #25811: Pull request #39730 opened by mathlib-splicebot Bot
1m 12s
1m 12s
[Merged by Bors] - chore(Geometry/Manifold): make some doc-strings follow the style guide Autolabel PRs #25810: Pull request #39729 opened by grunweg
1m 16s
1m 16s
[Merged by Bors] - feat: if Y = f(X) then Y is X-measurable Autolabel PRs #25809: Pull request #39728 opened by mathlib-splicebot Bot
1m 10s
1m 10s
[Merged by Bors] - feat: stationary sets Autolabel PRs #25808: Pull request #39727 opened by vihdzp
1m 12s
1m 12s
[Merged by Bors] - chore: semilinearize LinearMap.submodule[Co]map Autolabel PRs #25807: Pull request #39726 opened by ADedecker
1m 11s
1m 11s
feat: stationary sets in countable cofinality orders Autolabel PRs #25806: Pull request #39725 opened by vihdzp
1m 15s
1m 15s
feat: finite sets are closed under directed suprema Autolabel PRs #25805: Pull request #39724 opened by vihdzp
1m 19s
1m 19s
feat(Analysis): add Commute.exp_smul_right and symmetric variants Autolabel PRs #25804: Pull request #39723 opened by VictorBoscaro
1m 9s
1m 9s
feat(Combinatorics): link Nat.Partition to YoungDiagram Autolabel PRs #25803: Pull request #39722 opened by kg583
1m 9s
1m 9s
[Merged by Bors] - feat(Tactic): automatically replace convert with convert! Autolabel PRs #25802: Pull request #39721 opened by Vierkantor
1m 12s
1m 12s
feat(LinearAlgebra/Matrix/SpecialLinearGroup): Add action on R^n (#39… Autolabel PRs #25801: Commit c94e7c7 pushed by mathlib-bors Bot
1m 12s staging-squash-merge.tmp
staging-squash-merge.tmp
1m 12s
feat: cofinality within order Autolabel PRs #25800: Pull request #39720 opened by vihdzp
1m 16s
1m 16s
[Merged by Bors] - perf: shortcut instances for Semiring Autolabel PRs #25799: Pull request #39719 opened by JovanGerb
1m 12s
1m 12s
feat(Archive): dual Langer graph and GH(2,2) non-self-duality Autolabel PRs #25798: Pull request #39718 opened by RaggedR
1m 11s
1m 11s
[Merged by Bors] - feat(RingTheory/LocalRing/ResidueField/Basic): add algebra homs between residue fields Autolabel PRs #25797: Pull request #39716 opened by tb65536
1m 16s
1m 16s
[Merged by Bors] - feat(Tactic): add syntax for convert!, convert_to!, ac_change! Autolabel PRs #25796: Pull request #39715 opened by Vierkantor
1m 15s
1m 15s
[Merged by Bors] - feat(RingTheory/Localization/AtPrime/Basic): add variants of localAlgHom and localAlgEquiv Autolabel PRs #25795: Pull request #39714 opened by tb65536
1m 35s
1m 35s
[Merged by Bors] - feat: values of preAleph.symm Autolabel PRs #25794: Pull request #39713 opened by vihdzp
1m 14s
1m 14s
ProTip! You can narrow down the results and go further in time using created:<2026-05-22 or the other filters available.