Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test Mathlib Test Mathlib #1612: completed by kim-em
December 2, 2024 00:10 59s
December 2, 2024 00:10 59s
Test Mathlib Test Mathlib #1611: completed by kim-em
December 2, 2024 00:09 2s
December 2, 2024 00:09 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8106: completed by kim-em
December 2, 2024 00:09 2s
December 2, 2024 00:09 2s
chore: bump toolchain to v4.14.0 ci #10089: Pull request #1070 opened by kim-em
December 2, 2024 00:08 1m 46s bump_to_v4.14.0
bump_to_v4.14.0
December 2, 2024 00:08 1m 46s
chore: bump toolchain to v4.14.0 Label PR from status change #68: Pull request #1070 opened by kim-em
December 2, 2024 00:08 17s bump_to_v4.14.0
bump_to_v4.14.0
December 2, 2024 00:08 17s
chore: bump toolchain to v4.14.0 ci #10088: Commit d7fb6d7 pushed by kim-em
December 2, 2024 00:08 1m 35s bump_to_v4.14.0
bump_to_v4.14.0
December 2, 2024 00:08 1m 35s
Merge conflicts Merge conflicts #11002: Scheduled
December 1, 2024 23:05 10s main
main
December 1, 2024 23:05 10s
Merge conflicts Merge conflicts #11001: Scheduled
December 1, 2024 22:05 12s main
main
December 1, 2024 22:05 12s
Merge conflicts Merge conflicts #11000: Scheduled
December 1, 2024 21:05 11s main
main
December 1, 2024 21:05 11s
Merge conflicts Merge conflicts #10999: Scheduled
December 1, 2024 20:06 12s main
main
December 1, 2024 20:06 12s
chore: upstream Nat.binaryRec Label PR based on Comment #1466: Issue comment #799 (comment) created by leanprover-community-bot
December 1, 2024 20:02 3s
December 1, 2024 20:02 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8105: completed by FR-vdash-bot
December 1, 2024 19:28 3s
December 1, 2024 19:28 3s
Test Mathlib Test Mathlib #1610: completed by FR-vdash-bot
December 1, 2024 19:28 52s
December 1, 2024 19:28 52s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8104: completed by FR-vdash-bot
December 1, 2024 19:28 2s
December 1, 2024 19:28 2s
Test Mathlib Test Mathlib #1609: completed by FR-vdash-bot
December 1, 2024 19:28 2s
December 1, 2024 19:28 2s
chore: upstream Nat.binaryRec ci #10087: Pull request #799 synchronize by FR-vdash-bot
December 1, 2024 19:27 41s FR-vdash-bot:binaryRec
FR-vdash-bot:binaryRec
December 1, 2024 19:27 41s
chore: upstream Nat.binaryRec ci #10086: Pull request #799 synchronize by FR-vdash-bot
December 1, 2024 19:27 29s FR-vdash-bot:binaryRec
FR-vdash-bot:binaryRec
December 1, 2024 19:27 29s
Merge conflicts Merge conflicts #10998: Scheduled
December 1, 2024 19:04 11s main
main
December 1, 2024 19:04 11s
Merge conflicts Merge conflicts #10997: Scheduled
December 1, 2024 18:06 12s main
main
December 1, 2024 18:06 12s
Test Mathlib Test Mathlib #1608: completed by leanprover-community-mathlib4-bot
December 1, 2024 18:01 3s
December 1, 2024 18:01 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8103: completed by leanprover-community-mathlib4-bot
December 1, 2024 18:01 3s
December 1, 2024 18:01 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6269 ci #10085: Commit a55d413 pushed by leanprover-community-mathlib4-bot
December 1, 2024 17:59 1m 54s lean-pr-testing-6269
lean-pr-testing-6269
December 1, 2024 17:59 1m 54s
Merge conflicts Merge conflicts #10996: Scheduled
December 1, 2024 17:05 12s main
main
December 1, 2024 17:05 12s
Merge conflicts Merge conflicts #10995: Scheduled
December 1, 2024 16:05 10s main
main
December 1, 2024 16:05 10s
Merge conflicts Merge conflicts #10994: Scheduled
December 1, 2024 15:05 10s main
main
December 1, 2024 15:05 10s
ProTip! You can narrow down the results and go further in time using created:<2024-12-01 or the other filters available.