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,449 workflow runs
110,449 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge master continuous integration (mathlib forks) #146314: Commit 2e27203 pushed by sgouezel
October 31, 2024 08:06 15s SG_lie
SG_lie
October 31, 2024 08:06 15s
review continuous integration (mathlib forks) #146313: Commit bbd998e pushed by sgouezel
October 31, 2024 07:59 9s SG_invertible
SG_invertible
October 31, 2024 07:59 9s
chore(scripts/create-adaptation-pr): auto mode by default, no-edit me… continuous integration (mathlib forks) #146312: Commit 348232e pushed by mathlib-bors bot
October 31, 2024 07:37 11s master
master
October 31, 2024 07:37 11s
chore(scripts/create-adaptation-pr): auto mode by default, no-edit me… continuous integration (mathlib forks) #146311: Commit 348232e pushed by mathlib-bors bot
October 31, 2024 07:30 14s staging
staging
October 31, 2024 07:30 14s
chore: cleanup ContDiffWithinAt API, to match the ContinuousAt AP… continuous integration (mathlib forks) #146310: Commit ee37658 pushed by mathlib-bors bot
October 31, 2024 07:30 14s master
master
October 31, 2024 07:30 14s
remove pi_congr continuous integration (mathlib forks) #146309: Commit 2bfe5d3 pushed by kmill
October 31, 2024 07:26 9s lean-pr-testing-5894
lean-pr-testing-5894
October 31, 2024 07:26 9s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration (mathlib forks) #146308: Commit b5608db pushed by leanprover-community-mathlib4-bot
October 31, 2024 07:17 9s lean-pr-testing-5894
lean-pr-testing-5894
October 31, 2024 07:17 9s
chore: deal with porting notes about 'protected' (#18368) continuous integration (mathlib forks) #146307: Commit d927305 pushed by mathlib4-update-dependencies-bot
October 31, 2024 07:06 10s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 31, 2024 07:06 10s
chore(scripts/create-adaptation-pr): auto mode by default, no-edit me… continuous integration (mathlib forks) #146306: Commit 392fc5d pushed by jcommelin
October 31, 2024 07:02 10s jmc-create-adaptation-auto-no-edit
jmc-create-adaptation-auto-no-edit
October 31, 2024 07:02 10s
chore: cleanup ContDiffWithinAt API, to match the ContinuousAt AP… continuous integration (mathlib forks) #146305: Commit ee37658 pushed by mathlib-bors bot
October 31, 2024 06:53 14s staging
staging
October 31, 2024 06:53 14s
fix merge continuous integration (mathlib forks) #146304: Commit 368c8c7 pushed by ScottCarnahan
October 31, 2024 06:41 12s ScottCarnahan/HahnRefactor
ScottCarnahan/HahnRefactor
October 31, 2024 06:41 12s
Merge master into nightly-testing continuous integration (mathlib forks) #146303: Commit 2e9b7f5 pushed by leanprover-community-mathlib4-bot
October 31, 2024 06:36 11s nightly-testing
nightly-testing
October 31, 2024 06:36 11s
chore: deal with porting notes about 'protected' (#18368) continuous integration (mathlib forks) #146302: Commit d927305 pushed by mathlib-bors bot
October 31, 2024 06:24 16s master
master
October 31, 2024 06:24 16s
chore: deal with porting notes about 'protected' (#18368) continuous integration (mathlib forks) #146301: Commit d927305 pushed by mathlib-bors bot
October 31, 2024 05:46 12s staging
staging
October 31, 2024 05:46 12s
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