Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.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: add simp to aleph0_lt_univ, etc (#37967) continuous integration #211964: Commit 4049cbf pushed by mathlib-bors Bot
11m 5s master
master
11m 5s
feat(Combinatorics/SimpleGraph/Subgraph): a couple of subgraphOfAdj… continuous integration #211963: Commit 7d71710 pushed by mathlib-bors Bot
10m 48s master
master
10m 48s
feat(Data/Finset/Filter): tag Finset.filter_congr as congr (#38695) continuous integration #211962: Commit f884e9d pushed by mathlib-bors Bot
10m 55s master
master
10m 55s
chore(RingTheory): Module.Flat is invariant under ULift (#37998) continuous integration #211961: Commit 32df576 pushed by mathlib-bors Bot
10m 58s master
master
10m 58s
chore(CategoryTheory): use notation for TypeCat.ofHom (#38655) continuous integration #211960: Commit a3fde50 pushed by mathlib-bors Bot
10m 59s master
master
10m 59s
chore(GroupTheory/Nilpotent): move declarations into namespace (#37175) continuous integration #211959: Commit 2af034a pushed by mathlib-bors Bot
12m 2s master
master
12m 2s
feat(GroupTheory/OrderOfElement): add iff version of `IsOfFinOrder.… continuous integration #211958: Commit 1c83e3f pushed by mathlib-bors Bot
12m 45s master
master
12m 45s
feat(ModelTheory): Prove compactness of the type space (#32546) continuous integration #211957: Commit ff96409 pushed by mathlib-bors Bot
10m 36s master
master
10m 36s
refactor(Analysis/Complex/UpperHalfPlane): deprecate old GL2Pos stuff… continuous integration #211956: Commit 9bc51f5 pushed by mathlib-bors Bot
10m 43s master
master
10m 43s
chore: add docstring back (#38711) continuous integration #211955: Commit 4a4b844 pushed by mathlib-bors Bot
11m 11s master
master
11m 11s
chore(SetTheory/Cardinal/Arithmetic): remove an erw (#38688) continuous integration #211954: Commit dd711ae pushed by mathlib-bors Bot
16m 55s master
master
16m 55s
ci(olean_report): use lake env instead of lake exec to invoke cac… continuous integration #211953: Commit 6727686 pushed by mathlib-bors Bot
11m 11s master
master
11m 11s
suggested change continuous integration #211952: Commit 0854ea2 pushed by mariainesdff
12m 58s class_group_equiv
class_group_equiv
12m 58s
ci(olean_report): invoke cache binary via lake exec in olean_report… continuous integration #211951: Commit 85e6e1b pushed by mathlib-bors Bot
10m 51s master
master
10m 51s
chore(Data/Seq/Parallel): remove an erw (#38681) continuous integration #211950: Commit 3fd4166 pushed by mathlib-bors Bot
11m 7s master
master
11m 7s
feat: drop IsAlgClosed hypothesis from isNilpotent_derivedSeries_of_t… continuous integration #211949: Commit 031dbdd pushed by mathlib-bors Bot
11m 8s master
master
11m 8s
chore(scripts): add module-level set_option helpers and simp-arg / lo… continuous integration #211948: Commit 5ab64f2 pushed by mathlib-bors Bot
11m 20s master
master
11m 20s
chore: golf using grind (#38381) continuous integration #211947: Commit 31345b6 pushed by mathlib-bors Bot
10m 58s master
master
10m 58s
chore(Combinatorics/Enumerative/Catalan): split into Basic & Tree… continuous integration #211946: Commit ccfee27 pushed by mathlib-bors Bot
10m 35s master
master
10m 35s
chore: fix implicit-reducible diamond in Lie subalgebras (#38260) continuous integration #211945: Commit d4a3ea0 pushed by mathlib-bors Bot
10m 41s master
master
10m 41s
chore(GRewrite): copy how rw elaborates (#38558) continuous integration #211944: Commit b51f26d pushed by mathlib-bors Bot
10m 47s master
master
10m 47s
feat: make alias_in work with the module system (#38467) continuous integration #211943: Commit bd3f02d pushed by mathlib-bors Bot
10m 30s master
master
10m 30s
chore(Counterexamples/TopologistsSineCurve): remove defeq abuse (#38673) continuous integration #211942: Commit 3283c4c pushed by mathlib-bors Bot
10m 31s master
master
10m 31s
chore(mk_all): infer module style from existing aggregator file (#38395) continuous integration #211941: Commit b5364a4 pushed by mathlib-bors Bot
10m 58s master
master
10m 58s
chore: add missing additive deprecation aliases for #37793 (#38616) continuous integration #211940: Commit 37b1af3 pushed by mathlib-bors Bot
10m 34s master
master
10m 34s