Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (mathlib forks)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_fork.yml
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: kill some erws continuous integration (mathlib forks) #291904: Pull request #38415 synchronize by yuanyi-350
In progress
In progress
refactor(Analysis): golf 100 files continuous integration (mathlib forks) #291903: Pull request #37968 synchronize by yuanyi-350
In progress
In progress
refactor(MeasureTheory): golf 100 files continuous integration (mathlib forks) #291902: Pull request #38104 synchronize by yuanyi-350
3m 56s
3m 56s
refactor(NumberTheory): Golf 100 files continuous integration (mathlib forks) #291901: Pull request #38144 synchronize by yuanyi-350
In progress
In progress
feat(Geometry/Curve): add Frenet–Serret framework continuous integration (mathlib forks) #291900: Pull request #38348 synchronize by mirajcs
10m 21s
10m 21s
feat(Analysis/ODE): add discrete Grönwall inequality continuous integration (mathlib forks) #291899: Pull request #34709 synchronize by dennj
1m 54s
1m 54s
feat(Analysis/ODE): add discrete Grönwall inequality continuous integration (mathlib forks) #291898: Pull request #34709 synchronize by dennj
14s
14s
feat(Analysis/ODE): add discrete Grönwall inequality continuous integration (mathlib forks) #291897: Pull request #34709 synchronize by dennj
15s
15s
feat(Analysis/ODE): add discrete Grönwall inequality continuous integration (mathlib forks) #291896: Pull request #34709 synchronize by dennj
14s
14s
feat(Analysis/ODE): add discrete Grönwall inequality continuous integration (mathlib forks) #291895: Pull request #34709 synchronize by dennj
15s
15s
feat(Analysis/ODE): add discrete Grönwall inequality continuous integration (mathlib forks) #291894: Pull request #34709 synchronize by dennj
12s
12s
feat(Analysis/ODE): add discrete Grönwall inequality continuous integration (mathlib forks) #291893: Pull request #34709 synchronize by dennj
38s
38s
feat(Analysis/ODE): add discrete Grönwall inequality continuous integration (mathlib forks) #291892: Pull request #34709 synchronize by dennj
15s
15s
feat(Geometry/Curve): add Frenet–Serret framework continuous integration (mathlib forks) #291891: Pull request #38348 synchronize by mirajcs
11m 39s
11m 39s
feat(Probability/Markov): stationary distributions for stochastic matrices continuous integration (mathlib forks) #291890: Pull request #34713 synchronize by dennj
11m 58s
11m 58s
chore(Order/Hom/Basic): delete redundant EquivLike OrderIso instance continuous integration (mathlib forks) #291889: Pull request #38559 synchronize by SnirBroshi
In progress
In progress
feat(NumberTheory/Bernoulli): von Staudt-Clausen theorem continuous integration (mathlib forks) #291888: Pull request #34906 synchronize by seewoo5
11m 32s
11m 32s
feat(RingTheory/LocalRing): IsLocalRing for pullbacks continuous integration (mathlib forks) #291887: Pull request #37008 synchronize by BryceT233
12m 6s
12m 6s
feat(RingTheory/LocalRing): IsLocalRing for pullbacks continuous integration (mathlib forks) #291886: Pull request #37008 synchronize by BryceT233
11s
11s
feat: custom simp sets for translating between Equiv and algebraic notation continuous integration (mathlib forks) #291885: Pull request #38359 synchronize by mcdoll
56m 15s
56m 15s
feat(Geometry/Manifold): MfldCat is a CartesianMonoidalCategory continuous integration (mathlib forks) #291884: Pull request #38560 synchronize by Deicyde
12m 42s
12m 42s
feat(Geometry/Manifold): MfldCat is a CartesianMonoidalCategory continuous integration (mathlib forks) #291883: Pull request #38560 synchronize by Deicyde
1m 4s
1m 4s
feat(Geometry/Manifold): MfldCat is a CartesianMonoidalCategory continuous integration (mathlib forks) #291882: Pull request #38560 opened by Deicyde
3m 41s
3m 41s
feat(NumberTheory/Bernoulli): von Staudt-Clausen theorem continuous integration (mathlib forks) #291881: Pull request #34906 synchronize by seewoo5
10m 54s
10m 54s
feat(NumberTheory/Bernoulli): von Staudt-Clausen theorem continuous integration (mathlib forks) #291880: Pull request #34906 synchronize by seewoo5
50s
50s