Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(Associated): split out Ring results (#20737) continuous integration #157199: Commit b10900e pushed by mathlib4-update-dependencies-bot
January 18, 2025 22:05 8m 23s update-dependencies-bot-use-only
update-dependencies-bot-use-only
January 18, 2025 22:05 8m 23s
chore(Associated): split out Ring results (#20737) continuous integration #157198: Commit b10900e pushed by mathlib-bors bot
January 18, 2025 22:00 9m 6s master
master
January 18, 2025 22:00 9m 6s
remove imports continuous integration #157197: Commit ec28fc1 pushed by vasnesterov
January 18, 2025 21:52 10m 7s vasnesterov/binomial_series
vasnesterov/binomial_series
January 18, 2025 21:52 10m 7s
shake continuous integration #157196: Commit 84594a0 pushed by BoltonBailey
January 18, 2025 21:50 1m 39s BoltonBailey/split-map2
BoltonBailey/split-map2
January 18, 2025 21:50 1m 39s
fix whitespace continuous integration #157195: Commit f660f31 pushed by BoltonBailey
January 18, 2025 21:48 25m 14s BoltonBailey/split-round
BoltonBailey/split-round
January 18, 2025 21:48 25m 14s
add HasFPowerSeriesAt version continuous integration #157194: Commit 45af9c5 pushed by vasnesterov
January 18, 2025 21:44 8m 53s vasnesterov/binomial_series
vasnesterov/binomial_series
January 18, 2025 21:44 8m 53s
fix capitalization continuous integration #157193: Commit 4b4272b pushed by BoltonBailey
January 18, 2025 21:44 38m 21s BoltonBailey/split-fin-rev
BoltonBailey/split-fin-rev
January 18, 2025 21:44 38m 21s
remove doc comment about moved function continuous integration #157192: Commit 978a561 pushed by BoltonBailey
January 18, 2025 21:42 1m 50s BoltonBailey/split-fin-rev
BoltonBailey/split-fin-rev
January 18, 2025 21:42 1m 50s
Merge master into nightly-testing continuous integration #157191: Commit 8ab5039 pushed by leanprover-community-mathlib4-bot
January 18, 2025 21:31 27m 33s nightly-testing
nightly-testing
January 18, 2025 21:31 27m 33s
wip continuous integration #157190: Commit cf8f1f4 pushed by jcommelin
January 18, 2025 21:29 6m 59s jmc-lie-cartan-criterion
jmc-lie-cartan-criterion
January 18, 2025 21:29 6m 59s
generalise continuous integration #157189: Commit 9f07f51 pushed by artie2000
January 18, 2025 21:07 5m 34s artie2000-closure-abstract
artie2000-closure-abstract
January 18, 2025 21:07 5m 34s
feat(AlgebraicGeometry): scheme-theoretic fibre (#19427) continuous integration #157188: Commit 0ccda7e pushed by mathlib4-update-dependencies-bot
January 18, 2025 21:06 7m 34s update-dependencies-bot-use-only
update-dependencies-bot-use-only
January 18, 2025 21:06 7m 34s
feat(AlgebraicGeometry): flat morphisms of schemes (#19790) continuous integration #157187: Commit da939cc pushed by mathlib-bors bot
January 18, 2025 21:05 8m 28s master
master
January 18, 2025 21:05 8m 28s
Remove Nat.cast_zero continuous integration #157186: Commit 8a438c7 pushed by tomaz1502
January 18, 2025 21:01 11m 27s sorting_upper_bound
sorting_upper_bound
January 18, 2025 21:01 11m 27s
feat(Algebra/Homology): acyclic complexes continuous integration #157185: Commit b69f9fd pushed by joelriou
January 18, 2025 20:57 9m 34s homological-complex-acyclic
homological-complex-acyclic
January 18, 2025 20:57 9m 34s
Fix imports on basic.lean continuous integration #157184: Commit 26cd6b6 pushed by tomaz1502
January 18, 2025 20:53 10m 0s sorting_upper_bound
sorting_upper_bound
January 18, 2025 20:53 10m 0s
feat(AlgebraicGeometry): scheme-theoretic fibre (#19427) continuous integration #157183: Commit 0ccda7e pushed by mathlib-bors bot
January 18, 2025 20:53 8m 42s master
master
January 18, 2025 20:53 8m 42s
Fix imports on basic.lean continuous integration #157182: Commit bcd773c pushed by tomaz1502
January 18, 2025 20:53 43s sorting_upper_bound
sorting_upper_bound
January 18, 2025 20:53 43s
Update Mathlib/Algebra/Homology/Embedding/CochainComplex.lean continuous integration #157181: Commit 1e5f0c5 pushed by joelriou
January 18, 2025 20:52 8m 41s algebra-homology-embedding-cochain-complex-1
algebra-homology-embedding-cochain-complex-1
January 18, 2025 20:52 8m 41s
sorry-free exchange_lemma continuous integration #157180: Commit 5459c06 pushed by alreadydone
January 18, 2025 20:49 9m 39s TranscendenceDegree
TranscendenceDegree
January 18, 2025 20:49 9m 39s
add new file to Mathlib.lean continuous integration #157179: Commit 7da7cb4 pushed by BoltonBailey
January 18, 2025 20:48 8m 19s BoltonBailey/split-map2
BoltonBailey/split-map2
January 18, 2025 20:48 8m 19s
shake again continuous integration #157178: Commit f5c6686 pushed by BoltonBailey
January 18, 2025 20:37 8m 35s BoltonBailey/split-round
BoltonBailey/split-round
January 18, 2025 20:37 8m 35s
Run lake exe shake --fix continuous integration #157177: Commit 9ebea56 pushed by tomaz1502
January 18, 2025 20:36 1m 39s sorting_upper_bound
sorting_upper_bound
January 18, 2025 20:36 1m 39s
add imports of new file continuous integration #157176: Commit 6aa04f4 pushed by BoltonBailey
January 18, 2025 20:35 41m 13s BoltonBailey/split-fin-rev
BoltonBailey/split-fin-rev
January 18, 2025 20:35 41m 13s
wip continuous integration #157175: Commit 59341f7 pushed by jcommelin
January 18, 2025 20:34 7m 15s jmc-lie-cartan-criterion
jmc-lie-cartan-criterion
January 18, 2025 20:34 7m 15s