Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.14.0 (#1070) ci #10091: Commit 8d6c853 pushed by github-merge-queue bot
December 2, 2024 00:12 1m 44s main
main
December 2, 2024 00:12 1m 44s
chore: bump toolchain to v4.14.0 (#1070) Merge main to nightly #542: Commit 8d6c853 pushed by github-merge-queue bot
December 2, 2024 00:12 11s main
main
December 2, 2024 00:12 11s
Test Mathlib Test Mathlib #1613: completed by github-merge-queue bot
December 2, 2024 00:12 3s
December 2, 2024 00:12 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8108: completed by github-merge-queue bot
December 2, 2024 00:12 3s
December 2, 2024 00:12 3s
chore: bump toolchain to v4.14.0 (#1070) ci #10090: Commit 8d6c853 pushed by github-merge-queue bot
December 2, 2024 00:10 1m 42s gh-readonly-queue/main/pr-1070-f46c0445cc86ad2bc973edf8c5b2bd88bd91913b
gh-readonly-queue/main/pr-1070-f46c0445cc86ad2bc973edf8c5b2bd88bd91913b
December 2, 2024 00:10 1m 42s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8107: completed by kim-em
December 2, 2024 00:10 3s
December 2, 2024 00:10 3s
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
ProTip! You can narrow down the results and go further in time using created:<2024-12-01 or the other filters available.