Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32,863 workflow runs
32,863 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #18030: Scheduled
9s main
main
9s
Merge conflicts Merge conflicts #18029: Scheduled
6s main
main
6s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1393: Scheduled
8s main
main
8s
Merge conflicts Merge conflicts #18028: Scheduled
8s main
main
8s
Merge conflicts Merge conflicts #18027: Scheduled
6s main
main
6s
Merge conflicts Merge conflicts #18026: Scheduled
7s main
main
7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1392: Scheduled
8s main
main
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #12556: completed by leanprover-community-mathlib4-bot
1s
1s
Test Mathlib Test Mathlib #6061: completed by leanprover-community-mathlib4-bot
1s
1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #14590: Commit 274d3e7 pushed by leanprover-community-mathlib4-bot
2m 6s lean-pr-testing-10476
lean-pr-testing-10476
2m 6s
Merge conflicts Merge conflicts #18025: Scheduled
6s main
main
6s
Merge conflicts Merge conflicts #18024: Scheduled
9s main
main
9s
Merge conflicts Merge conflicts #18023: Scheduled
5s main
main
5s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1391: Scheduled
10s main
main
10s
Test Mathlib Test Mathlib #6060: completed by leanprover-community-mathlib4-bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #12555: completed by leanprover-community-mathlib4-bot
1s
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/10178 ci #14589: Commit 39baca9 pushed by leanprover-community-mathlib4-bot
2m 13s lean-pr-testing-10178
lean-pr-testing-10178
2m 13s
Merge conflicts Merge conflicts #18022: Scheduled
8s main
main
8s
Merge conflicts Merge conflicts #18021: Scheduled
10s main
main
10s
pages build and deployment pages-build-deployment #309: by github-pages bot
47s docs
docs
47s
Merge conflicts Merge conflicts #18020: Scheduled
2m 9s main
main
2m 9s
Deploy Docs Deploy Docs #314: Scheduled
7m 26s main
main
7m 26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #12554: completed by leanprover-community-mathlib4-bot
9s
9s
Test Mathlib Test Mathlib #6059: completed by leanprover-community-mathlib4-bot
2s
2s
chore: bump to nightly-2025-09-20 Discover `lean-pr-testing` branches #114: Commit dbab685 pushed by leanprover-community-mathlib4-bot
49s nightly-testing
nightly-testing
49s