Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (mathlib forks)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_fork.yml
110,483 workflow runs
110,483 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into acmepjz_alg_indep_3 continuous integration (mathlib forks) #146300: Commit 380aca6 pushed by acmepjz
October 31, 2024 05:45 11s acmepjz_alg_indep_3
acmepjz_alg_indep_3
October 31, 2024 05:45 11s
Revert "remove variable" continuous integration (mathlib forks) #146299: Commit 8cc60c7 pushed by vihdzp
October 31, 2024 05:38 9s vi.rank_tweaks
vi.rank_tweaks
October 31, 2024 05:38 9s
remove variable continuous integration (mathlib forks) #146298: Commit 751b341 pushed by vihdzp
October 31, 2024 05:15 10s vi.rank_tweaks
vi.rank_tweaks
October 31, 2024 05:15 10s
Update Lex.lean continuous integration (mathlib forks) #146297: Commit 2bc278b pushed by vihdzp
October 31, 2024 05:12 10s vi.prodLex
vi.prodLex
October 31, 2024 05:12 10s
Update Mathlib/RingTheory/LocalProperties/Submodule.lean continuous integration (mathlib forks) #146296: Commit cc2212a pushed by erdOne
October 31, 2024 05:06 13s erd1/projectivelocal2
erd1/projectivelocal2
October 31, 2024 05:06 13s
Update Lex.lean continuous integration (mathlib forks) #146295: Commit 531fb83 pushed by vihdzp
October 31, 2024 05:06 10s vi.prodLex
vi.prodLex
October 31, 2024 05:06 10s
Update Mathlib/RingTheory/LocalProperties/Projective.lean continuous integration (mathlib forks) #146294: Commit e35c74a pushed by erdOne
October 31, 2024 05:06 15s erd1/projectivelocal2
erd1/projectivelocal2
October 31, 2024 05:06 15s
chore: remove unused variables (#18471) continuous integration (mathlib forks) #146293: Commit ec133ff pushed by mathlib-bors bot
October 31, 2024 04:31 11s master
master
October 31, 2024 04:31 11s
deprecations continuous integration (mathlib forks) #146292: Commit 20d973e pushed by kim-em
October 31, 2024 04:20 13s nightly-testing
nightly-testing
October 31, 2024 04:20 13s
chore: remove unused variables (#18471) continuous integration (mathlib forks) #146291: Commit ec133ff pushed by mathlib-bors bot
October 31, 2024 04:14 12s staging
staging
October 31, 2024 04:14 12s
address comments continuous integration (mathlib forks) #146290: Commit a3bd615 pushed by erdOne
October 31, 2024 04:08 10s erd1/formallySmoothSplitInj
erd1/formallySmoothSplitInj
October 31, 2024 04:08 10s
chore: update Mathlib dependencies 2024-10-31 (#18478) continuous integration (mathlib forks) #146289: Commit 2bf9cc6 pushed by mathlib4-update-dependencies-bot
October 31, 2024 04:07 14s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 31, 2024 04:07 14s
chore: update Mathlib dependencies 2024-10-31 (#18478) continuous integration (mathlib forks) #146288: Commit 2bf9cc6 pushed by mathlib-bors bot
October 31, 2024 04:01 12s master
master
October 31, 2024 04:01 12s
oops continuous integration (mathlib forks) #146287: Commit 238a276 pushed by erdOne
October 31, 2024 03:56 14s erd1/finiteEpi
erd1/finiteEpi
October 31, 2024 03:56 14s
fix continuous integration (mathlib forks) #146286: Commit 46afabc pushed by erdOne
October 31, 2024 03:55 10s erd1/finiteEpi
erd1/finiteEpi
October 31, 2024 03:55 10s
chore: update Mathlib dependencies 2024-10-31 (#18478) continuous integration (mathlib forks) #146285: Commit 2bf9cc6 pushed by mathlib-bors bot
October 31, 2024 03:52 11s staging
staging
October 31, 2024 03:52 11s
wip continuous integration (mathlib forks) #146284: Commit a9ccee2 pushed by eric-wieser
October 31, 2024 03:46 10s eric-wieser/generalize-rank
eric-wieser/generalize-rank
October 31, 2024 03:46 10s
reorder to avoid implicit arguments continuous integration (mathlib forks) #146283: Commit 84e03cc pushed by hannahfechtner
October 31, 2024 03:38 10s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 31, 2024 03:38 10s
Merge master into nightly-testing continuous integration (mathlib forks) #146282: Commit f26edbd pushed by leanprover-community-mathlib4-bot
October 31, 2024 03:37 12s nightly-testing
nightly-testing
October 31, 2024 03:37 12s
wip continuous integration (mathlib forks) #146281: Commit 4d8c8d8 pushed by eric-wieser
October 31, 2024 03:32 9s eric-wieser/generalize-rank
eric-wieser/generalize-rank
October 31, 2024 03:32 9s
fixing apply issue continuous integration (mathlib forks) #146280: Commit e4845c5 pushed by hannahfechtner
October 31, 2024 03:31 10s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 31, 2024 03:31 10s
wronskian_eq_zero_iff continuous integration (mathlib forks) #146279: Commit 3ffea3b pushed by seewoo5
October 31, 2024 03:29 9s feature/wronskian-coprime
feature/wronskian-coprime
October 31, 2024 03:29 9s
feat(RingTheory/Valuation/Integers): dvdNotUnit_iff_lt continuous integration (mathlib forks) #146278: Commit 2fd28b6 pushed by pechersky
October 31, 2024 03:26 10s pechersky/valuation-dvdNotUnit
pechersky/valuation-dvdNotUnit
October 31, 2024 03:26 10s
Merge branch 'pechersky/locally-finite-order-transfer' into pechersky… continuous integration (mathlib forks) #146277: Commit 031384b pushed by pechersky
October 31, 2024 03:23 12s pechersky/linear-ordered-group-wf
pechersky/linear-ordered-group-wf
October 31, 2024 03:23 12s
feat(GroupTheory/ArchimedeanDensely): linear ordered group subsets ar… continuous integration (mathlib forks) #146276: Commit 3cd9b90 pushed by pechersky
October 31, 2024 03:22 12s pechersky/linear-ordered-group-wf
pechersky/linear-ordered-group-wf
October 31, 2024 03:22 12s