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
refactor: notation for EventuallyEq on Set Autolabel PRs #27723: Pull request #41533 opened by YaelDillies
1m 28s
1m 28s
chore: remove all unneeded classical Autolabel PRs #27722: Pull request #41532 opened by felixpernegger
1m 29s
1m 29s
feat: scalar multiplication as a CLM on D^n Autolabel PRs #27721: Pull request #41531 opened by luigi-massacci
1m 29s
1m 29s
feat(CategoryTheory): pasting for kan extensions Autolabel PRs #27720: Pull request #41530 opened by FernandoChu
1m 30s
1m 30s
feat: Émile Borel's classic "Growth Lemma" Autolabel PRs #27719: Pull request #41529 opened by kebekus
1m 36s
1m 36s
[Merged by Bors] - feat(RingTheory/PicardGroup): invertible modules over semirings are locally free Autolabel PRs #27718: Pull request #41528 opened by alreadydone
1m 19s
1m 19s
[Merged by Bors] - feat(Topology/Algebra/ValuativeTopology): checking IsValuativeTopology using any compatible valuation Autolabel PRs #27717: Pull request #41527 opened by mathlib-splicebot Bot
1m 39s
1m 39s
[Merged by Bors] - refactor(NumberTheory): make adicCompletion a one-field structure Autolabel PRs #27716: Pull request #41526 opened by smmercuri
1m 29s
1m 29s
feat(RepresentationTheory): add Smooth.Basic for smooth representations Autolabel PRs #27715: Pull request #41525 opened by JX-Mo
1m 18s
1m 18s
feat(SimpleGraph/Trails): in a preconnected Eulerian graph there exists an Eulerian circuit from any vertex Autolabel PRs #27714: Pull request #41524 opened by SnirBroshi
1m 14s
1m 14s
feat(Analysis/SpecialFunctions): add the Chase-Lovett diagonal reduction for binEntropy Autolabel PRs #27713: Pull request #41523 opened by Harmenszoon
1m 15s
1m 15s
feat(Combinatorics/SimpleGraph/Paths): existence of longest paths/trails/cycles/circuits Autolabel PRs #27712: Pull request #41522 opened by SnirBroshi
1m 24s
1m 24s
chore(Algebra/Order/Antidiag): relax an assumption in the definition of HasAntidiagonal Autolabel PRs #27711: Pull request #41521 opened by BryceT233
1m 16s
1m 16s
feat(RepresentationTheory): add smooth representations (draft) Autolabel PRs #27710: Pull request #41520 opened by JX-Mo
1m 26s
1m 26s
feat(Topology/EMetricSpace/BoundedVariation): more BoundedVariationOn and eVariationOn API Autolabel PRs #27709: Pull request #41519 opened by teorth
1m 26s
1m 26s
feat(Analysis/CStarAlgebra/Matrix): add CStarAlgebra instance for matrices Autolabel PRs #27708: Pull request #41518 opened by judsonpereirademoura-netizen
1m 27s
1m 27s
feat(MeasureTheory): define Hellinger affinity Autolabel PRs #27707: Pull request #41517 opened by sadasant
1m 17s
1m 17s
[Merged by Bors] - perf(Translate): use cache in guessReorder Autolabel PRs #27706: Pull request #41516 opened by JovanGerb
1m 16s
1m 16s
[Merged by Bors] - chore: fix some ENat-related instances of backward.isDefEq.respectTransparency Autolabel PRs #27705: Pull request #41515 opened by vlad902
1m 24s
1m 24s
feat(Topology/MetricSpace/Heine-Cantor): metric ε-δ forms of Heine–Cantor Autolabel PRs #27704: Pull request #41514 opened by teorth
1m 17s
1m 17s
feat(Topology): add bounded variation precomposition lemmas Autolabel PRs #27703: Pull request #41513 opened by CoolRmal
1m 21s
1m 21s
feat (Order/Interval/Finset/Floor): Relating membership of an Int or Nat cast in intervals to intervals of floor and ceil functions Autolabel PRs #27702: Pull request #41512 opened by teorth
1m 21s
1m 21s
[Merged by Bors] - feat: variations of Submodule.disjoint_map with weaker hypotheses Autolabel PRs #27701: Pull request #41511 opened by ADedecker
1m 19s
1m 19s
[Merged by Bors] - feat(CategoryTheory/Sites/Over): add Presieve.overEquiv Autolabel PRs #27700: Pull request #41510 opened by tb65536
1m 18s
1m 18s
WIP: properly clear cache progress output when it wraps around Autolabel PRs #27699: Pull request #41509 opened by grunweg
4m 10s
4m 10s