Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
107,613 workflow runs
107,613 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

sorry-free exchange_lemma + helpers continuous integration #157230: Commit b80eb19 pushed by alreadydone
January 19, 2025 02:28 In progress TranscendenceDegree
TranscendenceDegree
January 19, 2025 02:28 In progress
Bit more. continuous integration #157229: Commit 98c3c5f pushed by Julian
January 19, 2025 02:04 6m 48s bhargava-factorial
bhargava-factorial
January 19, 2025 02:04 6m 48s
Misc. refactoring continuous integration #157228: Commit 5c58b4d pushed by mitchell-horner
January 19, 2025 01:53 18m 0s mitchell-horner/asymptotics-pochhammer
mitchell-horner/asymptotics-pochhammer
January 19, 2025 01:53 18m 0s
First pass on tidying. continuous integration #157227: Commit cecfa74 pushed by Julian
January 19, 2025 01:50 6m 56s bhargava-factorial
bhargava-factorial
January 19, 2025 01:50 6m 56s
fix build continuous integration #157226: Commit ccb0ba9 pushed by dupuisf
January 19, 2025 01:50 8m 54s dupuisf/cstarmatrix
dupuisf/cstarmatrix
January 19, 2025 01:50 8m 54s
chore: simplify some proofs, try to avoid omega continuous integration #157225: Commit 8f2a98c pushed by gio256
January 19, 2025 01:49 9m 34s gio/trunc
gio/trunc
January 19, 2025 01:49 9m 34s
Use ENNReal with ne top rather than NNReal continuous integration #157224: Commit d001f03 pushed by jvlmdr
January 19, 2025 01:13 8m 24s jvlmdr-compact-dense
jvlmdr-compact-dense
January 19, 2025 01:13 8m 24s
Prove polynomial span continuous integration #157223: Commit 398e200 pushed by Aaron1011
January 19, 2025 00:53 7m 38s bhargava-factorial
bhargava-factorial
January 19, 2025 00:53 7m 38s
Merge master into nightly-testing continuous integration #157222: Commit 097c1c1 pushed by leanprover-community-mathlib4-bot
January 19, 2025 00:46 33m 35s nightly-testing
nightly-testing
January 19, 2025 00:46 33m 35s
fix imports for Synonym continuous integration #157221: Commit 5df922f pushed by dupuisf
January 19, 2025 00:32 29m 9s dupuisf/cstarmatrix
dupuisf/cstarmatrix
January 19, 2025 00:32 29m 9s
C_c^∞ functions are dense in L^p for 1 ≤ p < ∞ continuous integration #157220: Commit 2845cc3 pushed by jvlmdr
January 19, 2025 00:00 8m 42s jvlmdr-compact-dense
jvlmdr-compact-dense
January 19, 2025 00:00 8m 42s
fix: make isStrictSegal_of_strictSegal a lemma continuous integration #157219: Commit eee4fa5 pushed by gio256
January 18, 2025 23:46 7m 59s gio/trunc
gio/trunc
January 18, 2025 23:46 7m 59s
Simplify proofs continuous integration #157218: Commit f8daea2 pushed by anthonyde
January 18, 2025 23:40 8m 28s anthonyde/enfa-path
anthonyde/enfa-path
January 18, 2025 23:40 8m 28s
feat: StrictSegal.spineToSimplex_map lemmas continuous integration #157217: Commit 06edc34 pushed by gio256
January 18, 2025 23:30 8m 7s gio/trunc
gio/trunc
January 18, 2025 23:30 8m 7s
fix continuous integration #157216: Commit f79a4f2 pushed by jjaassoonn
January 18, 2025 23:11 10m 17s morita
morita
January 18, 2025 23:11 10m 17s
chore(Dynamics/PeriodicPts): don't import MonoidWithZero (#20765) continuous integration #157215: Commit bdee03d pushed by mathlib4-update-dependencies-bot
January 18, 2025 23:06 8m 41s update-dependencies-bot-use-only
update-dependencies-bot-use-only
January 18, 2025 23:06 8m 41s
fix continuous integration #157214: Commit 193a95d pushed by artie2000
January 18, 2025 23:05 8m 51s artie2000-closure-abstract-2
artie2000-closure-abstract-2
January 18, 2025 23:05 8m 51s
fix? continuous integration #157213: Commit 7d58c66 pushed by jjaassoonn
January 18, 2025 22:58 9m 15s morita
morita
January 18, 2025 22:58 9m 15s
Prove existence of bump function for all epsilon continuous integration #157212: Commit 6f0c18e pushed by jvlmdr
January 18, 2025 22:55 8m 51s jvlmdr-compact-dense
jvlmdr-compact-dense
January 18, 2025 22:55 8m 51s
copy from old branch continuous integration #157211: Commit 1f16c9e pushed by artie2000
January 18, 2025 22:49 5m 56s artie2000-closure-abstract-2
artie2000-closure-abstract-2
January 18, 2025 22:49 5m 56s
Move definitions around to minimize necessary imports and still keep … continuous integration #157210: Commit 30159f2 pushed by mistarro
January 18, 2025 22:45 11m 23s mistarro/artinian-use-spec
mistarro/artinian-use-spec
January 18, 2025 22:45 11m 23s
iff lemmas continuous integration #157209: Commit b15d5ab pushed by artie2000
January 18, 2025 22:33 41m 33s artie2000-galins-add-lemma
artie2000-galins-add-lemma
January 18, 2025 22:33 41m 33s
add dual lemmas continuous integration #157208: Commit d399b12 pushed by artie2000
January 18, 2025 22:33 6m 5s artie2000-closure-abstract
artie2000-closure-abstract
January 18, 2025 22:33 6m 5s
feat(Order/GaloisConnection): Galois insertion is order-reflecting continuous integration #157207: Commit aeabb2f pushed by artie2000
January 18, 2025 22:31 2m 38s artie2000-galins-add-lemma
artie2000-galins-add-lemma
January 18, 2025 22:31 2m 38s
Move definitions around to minimize necessary imports and still keep … continuous integration #157206: Commit d672a1f pushed by mistarro
January 18, 2025 22:29 13m 0s mistarro/artinian-use-spec
mistarro/artinian-use-spec
January 18, 2025 22:29 13m 0s