Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
734,766 workflow run results
734,766 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump batteries continuous integration #133724: Commit dd889a0 pushed by kim-em
October 20, 2024 23:59 13m 50s mv_modifyNth
mv_modifyNth
October 20, 2024 23:59 13m 50s
bump batteries continuous integration (mathlib forks) #142243: Commit dd889a0 pushed by kim-em
October 20, 2024 23:59 12s mv_modifyNth
mv_modifyNth
October 20, 2024 23:59 12s
Merge conflicts Merge conflicts #62947: Scheduled
October 20, 2024 23:48 6m 17s master
master
October 20, 2024 23:48 6m 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92256: completed by kim-em
October 20, 2024 23:48 2s
October 20, 2024 23:48 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92255: completed by adomani
October 20, 2024 23:48 3s
October 20, 2024 23:48 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92254: completed by kim-em
October 20, 2024 23:47 3m 49s
October 20, 2024 23:47 3m 49s
Dependent Issues Dependent Issues #64032: Scheduled
October 20, 2024 23:46 3m 14s master
master
October 20, 2024 23:46 3m 14s
add test with declId with universe level continuous integration (mathlib forks) #142242: Commit db3d116 pushed by adomani
October 20, 2024 23:40 10s adomani/unused_variable_only_dev
adomani/unused_variable_only_dev
October 20, 2024 23:40 10s
add test with declId with universe level continuous integration #133723: Commit db3d116 pushed by adomani
October 20, 2024 23:40 7m 42s adomani/unused_variable_only_dev
adomani/unused_variable_only_dev
October 20, 2024 23:40 7m 42s
Merge branch 'bump/nightly-2024-10-19' into nightly-testing continuous integration (mathlib forks) #142241: Commit d668eff pushed by kim-em
October 20, 2024 23:40 11s nightly-testing
nightly-testing
October 20, 2024 23:40 11s
Merge branch 'bump/nightly-2024-10-19' into nightly-testing continuous integration #133722: Commit d668eff pushed by kim-em
October 20, 2024 23:40 7m 17s nightly-testing
nightly-testing
October 20, 2024 23:40 7m 17s
[Merged by Bors] - chore: adaptations for nightly-2024-10-19 Post PR summary comment #25090: Pull request #17984 synchronize by kim-em
October 20, 2024 23:39 47s bump/nightly-2024-10-19
bump/nightly-2024-10-19
October 20, 2024 23:39 47s
[Merged by Bors] - chore: adaptations for nightly-2024-10-19 lint and suggest #61479: Pull request #17984 synchronize by kim-em
October 20, 2024 23:39 1m 24s bump/nightly-2024-10-19
bump/nightly-2024-10-19
October 20, 2024 23:39 1m 24s
[Merged by Bors] - chore: adaptations for nightly-2024-10-19 Label New Contributors #39235: Pull request #17984 synchronize by kim-em
October 20, 2024 23:39 38s bump/nightly-2024-10-19
bump/nightly-2024-10-19
October 20, 2024 23:39 38s
fix tests continuous integration (mathlib forks) #142240: Commit 049b779 pushed by kim-em
October 20, 2024 23:39 10s bump/nightly-2024-10-19
bump/nightly-2024-10-19
October 20, 2024 23:39 10s
fix tests continuous integration #133721: Commit 049b779 pushed by kim-em
October 20, 2024 23:39 8m 44s bump/nightly-2024-10-19
bump/nightly-2024-10-19
October 20, 2024 23:39 8m 44s
Merge conflicts Merge conflicts #62946: Scheduled
October 20, 2024 23:34 16s master
master
October 20, 2024 23:34 16s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92253: completed by alreadydone
October 20, 2024 23:34 2s
October 20, 2024 23:34 2s
Dependent Issues Dependent Issues #64031: Scheduled
October 20, 2024 23:31 4m 12s master
master
October 20, 2024 23:31 4m 12s
Merge conflicts Merge conflicts #62945: Scheduled
October 20, 2024 23:23 18s master
master
October 20, 2024 23:23 18s
Dependent Issues Dependent Issues #64030: Scheduled
October 20, 2024 23:20 3m 19s master
master
October 20, 2024 23:20 3m 19s
Monitor Dependency Update Failures Monitor Dependency Update Failures #4813: completed by mathlib4-update-dependencies-bot
October 20, 2024 23:13 1s
October 20, 2024 23:13 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92252: completed by mathlib4-update-dependencies-bot
October 20, 2024 23:13 2s
October 20, 2024 23:13 2s
chore: move mul_ite, add dite version, multiplicativise `ite_add_… continuous integration (mathlib forks) #142239: Commit 69bbcb4 pushed by mathlib4-update-dependencies-bot
October 20, 2024 23:06 11s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 20, 2024 23:06 11s
chore: move mul_ite, add dite version, multiplicativise `ite_add_… continuous integration #133720: Commit 69bbcb4 pushed by mathlib4-update-dependencies-bot
October 20, 2024 23:06 6m 52s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 20, 2024 23:06 6m 52s