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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix logic. continuous integration (mathlib forks) #146350: Commit 3595ec5 pushed by grunweg
October 31, 2024 10:01 11s MR-mathlib-init-check
MR-mathlib-init-check
October 31, 2024 10:01 11s
mk_all continuous integration (mathlib forks) #146349: Commit 0c21851 pushed by Vierkantor
October 31, 2024 09:59 12s split-Submodule.Basic
split-Submodule.Basic
October 31, 2024 09:59 12s
Merge remote-tracking branch 'origin/master' into xfr-unitpart_basic continuous integration (mathlib forks) #146348: Commit 316192a pushed by xroblot
October 31, 2024 09:59 13s xfr-unitpart_basic
xfr-unitpart_basic
October 31, 2024 09:59 13s
update readme and docs continuous integration (mathlib forks) #146347: Commit 974532a pushed by adomani
October 31, 2024 09:59 10s adomani/deprecations_script
adomani/deprecations_script
October 31, 2024 09:59 10s
Update Mathlib/GroupTheory/ArchimedeanDensely.lean continuous integration (mathlib forks) #146346: Commit d7f001f pushed by pechersky
October 31, 2024 09:56 12s pechersky/linear-ordered-group-wf
pechersky/linear-ordered-group-wf
October 31, 2024 09:56 12s
Update Mathlib/Order/Interval/Finset/Defs.lean continuous integration (mathlib forks) #146345: Commit cd99a02 pushed by pechersky
October 31, 2024 09:56 12s pechersky/locally-finite-order-transfer
pechersky/locally-finite-order-transfer
October 31, 2024 09:56 12s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration (mathlib forks) #146344: Commit 3ce283a pushed by leanprover-community-mathlib4-bot
October 31, 2024 09:55 10s lean-pr-testing-5900
lean-pr-testing-5900
October 31, 2024 09:55 10s
chore(Algebra/Module/Submodule): split Submodule/Basic.lean continuous integration (mathlib forks) #146343: Commit fe8172c pushed by Vierkantor
October 31, 2024 09:55 11s split-Submodule.Basic
split-Submodule.Basic
October 31, 2024 09:55 11s
feat(LinearAlgebra): nilpotent <-> charpoly = X ^ n (#18417) continuous integration (mathlib forks) #146342: Commit 595ebf2 pushed by mathlib-bors bot
October 31, 2024 09:53 11s staging
staging
October 31, 2024 09:53 11s
chore(Order/InitialSeg): private / delete inner workings (#17609) continuous integration (mathlib forks) #146341: Commit 7c7a48f pushed by mathlib-bors bot
October 31, 2024 09:53 14s master
master
October 31, 2024 09:53 14s
update readme and docs continuous integration (mathlib forks) #146340: Commit e87b31e pushed by adomani
October 31, 2024 09:53 15s adomani/add_deprecations
adomani/add_deprecations
October 31, 2024 09:53 15s
file working now continuous integration (mathlib forks) #146339: Commit c178bf7 pushed by CBirkbeck
October 31, 2024 09:52 10s FixDetMatsReps
FixDetMatsReps
October 31, 2024 09:52 10s
Merge remote-tracking branch 'origin/master' into adomani/unused_vari… continuous integration (mathlib forks) #146338: Commit 07e63f7 pushed by adomani
October 31, 2024 09:42 11s adomani/unused_variable_only
adomani/unused_variable_only
October 31, 2024 09:42 11s
Merge remote-tracking branch 'origin/master' into FixDetMatsReps continuous integration (mathlib forks) #146337: Commit 6662fc6 pushed by CBirkbeck
October 31, 2024 09:40 13s FixDetMatsReps
FixDetMatsReps
October 31, 2024 09:40 13s
Last tweak. continuous integration (mathlib forks) #146336: Commit c739132 pushed by grunweg
October 31, 2024 09:35 10s MR-mathlib-init-check
MR-mathlib-init-check
October 31, 2024 09:35 10s
merge bump/v4.14.0 continuous integration (mathlib forks) #146335: Commit 4aa6b48 pushed by kim-em
October 31, 2024 09:34 10s bump/nightly-2024-10-31
bump/nightly-2024-10-31
October 31, 2024 09:34 10s
chore: adaptations for nightly-2024-10-30 (#18435) continuous integration (mathlib forks) #146334: Commit f8bbd04 pushed by kim-em
October 31, 2024 09:33 14s bump/v4.14.0
bump/v4.14.0
October 31, 2024 09:33 14s
chore: adaptations for nightly-2024-10-31 continuous integration (mathlib forks) #146333: Commit 55aee4f pushed by kim-em
October 31, 2024 09:32 10s nightly-testing
nightly-testing
October 31, 2024 09:32 10s
chore: adaptations for nightly-2024-10-31 continuous integration (mathlib forks) #146332: Commit 55aee4f pushed by kim-em
October 31, 2024 09:32 13s bump/nightly-2024-10-31
bump/nightly-2024-10-31
October 31, 2024 09:32 13s
merge continuous integration (mathlib forks) #146331: Commit 129238d pushed by kim-em
October 31, 2024 09:31 11s bump/v4.14.0
bump/v4.14.0
October 31, 2024 09:31 11s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration (mathlib forks) #146330: Commit e4b4c79 pushed by leanprover-community-mathlib4-bot
October 31, 2024 09:29 13s lean-pr-testing-5899
lean-pr-testing-5899
October 31, 2024 09:29 13s
Two more continuous integration (mathlib forks) #146329: Commit 69bd919 pushed by grunweg
October 31, 2024 09:28 10s MR-import-header-linter
MR-import-header-linter
October 31, 2024 09:28 10s
mk_all continuous integration (mathlib forks) #146328: Commit 59e7a77 pushed by Vierkantor
October 31, 2024 09:27 9s split-Subgroup.MulOpposite
split-Subgroup.MulOpposite
October 31, 2024 09:27 9s
Fix merge; simplify the check. continuous integration (mathlib forks) #146327: Commit 8f0259e pushed by grunweg
October 31, 2024 09:25 9s MR-mathlib-init-check
MR-mathlib-init-check
October 31, 2024 09:25 9s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration (mathlib forks) #146326: Commit 762088f pushed by leanprover-community-mathlib4-bot
October 31, 2024 09:24 2m 6s lean-pr-testing-5898
lean-pr-testing-5898
October 31, 2024 09:24 2m 6s