Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test Mathlib Test Mathlib #1678: completed by leanprover-community-mathlib4-bot
December 6, 2024 10:00 2s
December 6, 2024 10:00 2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10159: Commit 6cefe3e pushed by leanprover-community-mathlib4-bot
December 6, 2024 09:58 1m 50s lean-pr-testing-6325
lean-pr-testing-6325
December 6, 2024 09:58 1m 50s
Test Mathlib Test Mathlib #1677: completed by leanprover-community-mathlib4-bot
December 6, 2024 09:08 3s
December 6, 2024 09:08 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8172: completed by leanprover-community-mathlib4-bot
December 6, 2024 09:08 19s
December 6, 2024 09:08 19s
Merge conflicts Merge conflicts #11108: Scheduled
December 6, 2024 09:06 2m 12s main
main
December 6, 2024 09:06 2m 12s
chore: bump to nightly-2024-12-06 ci #10158: Commit 17d346f pushed by leanprover-community-mathlib4-bot
December 6, 2024 09:06 1m 45s nightly-testing
nightly-testing
December 6, 2024 09:06 1m 45s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #408: Scheduled
December 6, 2024 09:06 18s main
main
December 6, 2024 09:06 18s
Merge conflicts Merge conflicts #11107: Scheduled
December 6, 2024 08:08 11s main
main
December 6, 2024 08:08 11s
Merge conflicts Merge conflicts #11106: Scheduled
December 6, 2024 07:06 12s main
main
December 6, 2024 07:06 12s
Merge conflicts Merge conflicts #11105: Scheduled
December 6, 2024 06:08 11s main
main
December 6, 2024 06:08 11s
Merge conflicts Merge conflicts #11104: Scheduled
December 6, 2024 05:06 13s main
main
December 6, 2024 05:06 13s
Merge conflicts Merge conflicts #11103: Scheduled
December 6, 2024 04:07 11s main
main
December 6, 2024 04:07 11s
Merge conflicts Merge conflicts #11102: Scheduled
December 6, 2024 03:19 14s main
main
December 6, 2024 03:19 14s
Merge conflicts Merge conflicts #11101: Scheduled
December 6, 2024 02:32 10s main
main
December 6, 2024 02:32 10s
Test Mathlib Test Mathlib #1676: completed by leanprover-community-mathlib4-bot
December 6, 2024 01:51 2s
December 6, 2024 01:51 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8171: completed by leanprover-community-mathlib4-bot
December 6, 2024 01:51 2s
December 6, 2024 01:51 2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10157: Commit c5c938f pushed by leanprover-community-mathlib4-bot
December 6, 2024 01:49 1m 56s lean-pr-testing-6324
lean-pr-testing-6324
December 6, 2024 01:49 1m 56s
Merge conflicts Merge conflicts #11100: Scheduled
December 6, 2024 01:33 11s main
main
December 6, 2024 01:33 11s
Test Mathlib Test Mathlib #1675: completed by leanprover-community-mathlib4-bot
December 6, 2024 01:03 3s
December 6, 2024 01:03 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8170: completed by leanprover-community-mathlib4-bot
December 6, 2024 01:03 3s
December 6, 2024 01:03 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6123 ci #10156: Commit 4b3b7a9 pushed by leanprover-community-mathlib4-bot
December 6, 2024 01:01 1m 39s lean-pr-testing-6123
lean-pr-testing-6123
December 6, 2024 01:01 1m 39s
Merge conflicts Merge conflicts #11099: Scheduled
December 6, 2024 00:27 10s main
main
December 6, 2024 00:27 10s
Test Mathlib Test Mathlib #1674: completed by leanprover-community-mathlib4-bot
December 6, 2024 00:26 3s
December 6, 2024 00:26 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8169: completed by leanprover-community-mathlib4-bot
December 6, 2024 00:26 3s
December 6, 2024 00:26 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10155: Commit 35cde41 pushed by leanprover-community-mathlib4-bot
December 6, 2024 00:24 1m 50s lean-pr-testing-6323
lean-pr-testing-6323
December 6, 2024 00:24 1m 50s
ProTip! You can narrow down the results and go further in time using created:<2024-12-06 or the other filters available.