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
chore(CategoryTheory/Limits): rename mkFanLimit to Fan.IsLimit.mk… Autolabel PRs #25695: Commit 06f1f22 pushed by mathlib-bors Bot
1m 20s staging-squash-merge.tmp
staging-squash-merge.tmp
1m 20s
test: failing deriving test Autolabel PRs #25694: Pull request #39617 opened by robin-carlier
1m 28s
1m 28s
[Merged by Bors] - feat: more API for the variation of vector measures Autolabel PRs #25693: Pull request #39616 opened by sgouezel
1m 34s
1m 34s
[Merged by Bors] - feat: drop completeness assumption in the definition of setToFun, expand API Autolabel PRs #25692: Pull request #39615 opened by sgouezel
1m 24s
1m 24s
[Merged by Bors] - feat: if an L^p space is complete, so is its target space unless the measure is zero Autolabel PRs #25691: Pull request #39614 opened by sgouezel
1m 14s
1m 14s
[Merged by Bors] - feat(LinearAlgebra/Projection): add quotientEquivOfIsCompl_comp_mkQ and quotientEquivOfIsTopCompl_comp_mkQ Autolabel PRs #25690: Pull request #39613 opened by sharky564
1m 23s
1m 23s
[Merged by Bors] - chore: split Topology.Algebra.Module.LinearMap Autolabel PRs #25689: Pull request #39612 opened by ADedecker
1m 23s
1m 23s
[Merged by Bors] - feat(RingTheory): let B be a faithfully flat A-algebra, then A is a local ring if B is Autolabel PRs #25688: Pull request #39611 opened by mbkybky
1m 24s
1m 24s
[Merged by Bors] - chore(CategoryTheory): clean imports Autolabel PRs #25687: Pull request #39610 opened by qawbecrdtey
1m 23s
1m 23s
[Merged by Bors] - chore(LongestPole): private an import to reduce the rebuild pole Autolabel PRs #25686: Pull request #39609 opened by b-mehta
1m 14s
1m 14s
doc(Probability/HasLaw): mention MeasurePreserving in the docstring Autolabel PRs #25685: Pull request #39608 opened by EtienneC30
1m 16s
1m 16s
feat(Algebra/DirectSum): equivalence between direct sum indexed by ι₁ and double sum indexed by ι₂ and fibres of f : ι₁ → ι₂ Autolabel PRs #25684: Pull request #39607 opened by TentativeConvert
1m 36s
1m 36s
doc: remove superfluous empty lines Autolabel PRs #25683: Pull request #39606 opened by harahu
1m 24s
1m 24s
[Merged by Bors] - doc: add docstrings for reversed range telescoping lemmas Autolabel PRs #25682: Pull request #39605 opened by Qinghev
1m 22s
1m 22s
feat(LinearAlgebra/Matrix/Block, Analysis/Normed/Algebra/MatrixExpone… Autolabel PRs #25681: Commit 421fab3 pushed by mathlib-bors Bot
1m 11s staging-squash-merge.tmp
staging-squash-merge.tmp
1m 11s
[Merged by Bors] - chore(GroupTheory/QuotientGroup/Basic): remove transitive import Autolabel PRs #25680: Pull request #39604 opened by qawbecrdtey
1m 18s
1m 18s
[Merged by Bors] - feat(Complex/RiemannMapping): first step of the proof Autolabel PRs #25679: Pull request #39603 opened by urkud
1m 22s
1m 22s
chore(Topology/Algebra/Module/Star): tag continuity lemmas with `fun_… Autolabel PRs #25678: Commit 024c9d6 pushed by mathlib-bors Bot
1m 15s staging-squash-merge.tmp
staging-squash-merge.tmp
1m 15s
[Merged by Bors] - chore(Mathlib/Tactic): stop norm_num importing the Bochner integral Autolabel PRs #25677: Pull request #39602 opened by b-mehta
1m 15s
1m 15s
[Merged by Bors] - feat(LinearAlgebra/Matrix/Charpoly/Eigs): generalize to CommRings Autolabel PRs #25676: Pull request #39601 opened by SnirBroshi
1m 13s
1m 13s
[Merged by Bors] - chore(Topology/Compactness/CountablyCompact): generalize theorem Autolabel PRs #25675: Pull request #39600 opened by plp127
1m 20s
1m 20s
feat(RingTheory/GeneralizedEuclidean): the canonical Euclidean filtration on a ring Autolabel PRs #25674: Pull request #39599 opened by AntoineChambert-Loir
1m 20s
1m 20s
[Merged by Bors] - feat(Tactic/ToFun): warn if provided name matches autogenerated one Autolabel PRs #25673: Pull request #39598 opened by grunweg
1m 22s
1m 22s
Don't look up! Autolabel PRs #25672: Pull request #39597 opened by grunweg
1m 22s
1m 22s
feat: experimental hack to allow by finiteness auto-params Autolabel PRs #25671: Pull request #39596 opened by grunweg
1m 18s
1m 18s
ProTip! You can narrow down the results and go further in time using created:<2026-05-19 or the other filters available.