Skip to content

Actions: scholzhannah/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
191 workflow runs
191 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
Merge branch 'master' into renamesAroundExtrema continuous integration #196: Commit 726d2c8 pushed by Ruben-VandeVelde
10s renamesAroundExtrema
renamesAroundExtrema
10s
chore: fix typo to generalize mvfderiv composition lemmas continuous integration #195: Commit d05badb pushed by scholzhannah
1s generalizeCompLemmas
generalizeCompLemmas
1s
more linter errors continuous integration #194: Commit cac2193 pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
Merge branch 'master' into moreExtremaRenames continuous integration #193: Commit ad29069 pushed by scholzhannah
1s moreExtremaRenames
moreExtremaRenames
1s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice continuous integration #192: Commit ebb6513 pushed by scholzhannah
9s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
9s
fix deprecated lemmas continuous integration #191: Commit d678d4b pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
use mono instead continuous integration #190: Commit 227c090 pushed by scholzhannah
8s moreExtremaRenames
moreExtremaRenames
8s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice continuous integration #189: Commit 11996d7 pushed by scholzhannah
2s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
2s
changes from review continuous integration #188: Commit 4b774c4 pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
changes from review continuous integration #187: Commit c9fb1f7 pushed by scholzhannah
1s mvfderivcomp
mvfderivcomp
1s
fix names continuous integration #186: Commit c62909c pushed by scholzhannah
1s mvfderivcomp
mvfderivcomp
1s
feat: composition lemmas about mvfderiv and mvfderivWithin continuous integration #185: Commit 4a49876 pushed by scholzhannah
1s mvfderivcomp
mvfderivcomp
1s
fix linter error continuous integration #184: Commit 480ac93 pushed by scholzhannah
9s PartialHomeomorph3
PartialHomeomorph3
9s
fix error continuous integration #183: Commit da86f32 pushed by scholzhannah
1s PartialHomeomorph3
PartialHomeomorph3
1s
push for cache continuous integration #182: Commit 254b95e pushed by scholzhannah
Skipped PartialHomeomorph3
PartialHomeomorph3
Skipped
Mathlib.lean continuous integration #181: Commit 43e432d pushed by scholzhannah
8s PartialHomeomorph3
PartialHomeomorph3
8s
fix continuous integration #180: Commit e172d47 pushed by scholzhannah
1s PartialHomeomorph3
PartialHomeomorph3
1s
feat: generalize to continuous integration #179: Commit 34c4a62 pushed by scholzhannah
10s PartialHomeomorph3
PartialHomeomorph3
10s
hopefully last fix continuous integration #178: Commit 1935031 pushed by scholzhannah
1s PartialHomeomorph2
PartialHomeomorph2
1s
more fixes continuous integration #177: Commit 7aed65b pushed by scholzhannah
1s PartialHomeomorph2
PartialHomeomorph2
1s
fix continuous integration #176: Commit e0633c5 pushed by scholzhannah
1s PartialHomeomorph2
PartialHomeomorph2
1s
Merge branch 'master' into PartialHomeomorph2 continuous integration #175: Commit dd379dd pushed by scholzhannah
1s PartialHomeomorph2
PartialHomeomorph2
1s
more fixes continuous integration #174: Commit b4fa87c pushed by scholzhannah
9s moreExtremaRenames
moreExtremaRenames
9s
more fixes continuous integration #173: Commit cef8d59 pushed by scholzhannah
9s renamesAroundExtrema
renamesAroundExtrema
9s
fix continuous integration #172: Commit b840983 pushed by scholzhannah
14s moreExtremaRenames
moreExtremaRenames
14s