Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
assert_not_exists import continuous integration #157205: Commit 7f76a04 pushed by BoltonBailey
January 18, 2025 22:29 7m 51s BoltonBailey/split-map2
BoltonBailey/split-map2
January 18, 2025 22:29 7m 51s
chore(Dynamics/PeriodicPts): don't import MonoidWithZero (#20765) continuous integration #157204: Commit bdee03d pushed by mathlib-bors bot
January 18, 2025 22:25 9m 13s master
master
January 18, 2025 22:25 9m 13s
Move definitions around to minimize necessary imports and still keep … continuous integration #157203: Commit 6720fbd pushed by mistarro
January 18, 2025 22:25 1m 42s mistarro/artinian-use-spec
mistarro/artinian-use-spec
January 18, 2025 22:25 1m 42s
style continuous integration #157202: Commit 9d90d52 pushed by artie2000
January 18, 2025 22:24 37m 26s artie2000-automate-even
artie2000-automate-even
January 18, 2025 22:24 37m 26s
fix continuous integration #157201: Commit d9d3674 pushed by artie2000
January 18, 2025 22:17 2m 21s artie2000-closure-abstract
artie2000-closure-abstract
January 18, 2025 22:17 2m 21s