Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8405: completed by github-merge-queue bot
January 4, 2025 03:21 2s
January 4, 2025 03:21 2s
Test Mathlib Test Mathlib #1910: completed by github-merge-queue bot
January 4, 2025 03:21 2s
January 4, 2025 03:21 2s
merge v4.15.0 ci #10392: Commit 73f2e52 pushed by kim-em
January 4, 2025 03:21 38s stable
stable
January 4, 2025 03:21 38s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8404: completed by leanprover-community-mathlib4-bot
January 4, 2025 03:21 18s
January 4, 2025 03:21 18s
Test Mathlib Test Mathlib #1909: completed by leanprover-community-mathlib4-bot
January 4, 2025 03:21 2s
January 4, 2025 03:21 2s
chore: bump toolchain to v4.15.0 (#1080) Release Docs #4: Commit e8dc5fc pushed by kim-em
January 4, 2025 03:21 7m 31s v4.15.0
v4.15.0
January 4, 2025 03:21 7m 31s
Merge main into nightly-testing ci #10391: Commit 49b33a4 pushed by leanprover-community-mathlib4-bot
January 4, 2025 03:20 49s nightly-testing
nightly-testing
January 4, 2025 03:20 49s
chore: bump toolchain to v4.15.0 Label PR from status change #85: Pull request #1080 closed by kim-em
January 4, 2025 03:20 12s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:20 12s
chore: bump toolchain to v4.15.0 (#1080) ci #10390: Commit e8dc5fc pushed by github-merge-queue bot
January 4, 2025 03:20 1m 35s main
main
January 4, 2025 03:20 1m 35s
chore: bump toolchain to v4.15.0 (#1080) Merge main to nightly #548: Commit e8dc5fc pushed by github-merge-queue bot
January 4, 2025 03:20 17s main
main
January 4, 2025 03:20 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8403: completed by github-merge-queue bot
January 4, 2025 03:19 2s
January 4, 2025 03:19 2s
Test Mathlib Test Mathlib #1908: completed by github-merge-queue bot
January 4, 2025 03:19 2s
January 4, 2025 03:19 2s
chore: bump toolchain to v4.15.0 (#1080) ci #10389: Commit e8dc5fc pushed by github-merge-queue bot
January 4, 2025 03:18 1m 43s gh-readonly-queue/main/pr-1080-f007bfe46ea8fb801ec907df9ab540054abcc5fd
gh-readonly-queue/main/pr-1080-f007bfe46ea8fb801ec907df9ab540054abcc5fd
January 4, 2025 03:18 1m 43s
Test Mathlib Test Mathlib #1907: completed by kim-em
January 4, 2025 03:17 1m 9s
January 4, 2025 03:17 1m 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8402: completed by kim-em
January 4, 2025 03:17 2s
January 4, 2025 03:17 2s
Test Mathlib Test Mathlib #1906: completed by kim-em
January 4, 2025 03:17 3s
January 4, 2025 03:17 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8401: completed by kim-em
January 4, 2025 03:17 3s
January 4, 2025 03:17 3s
chore: bump toolchain to v4.15.0 Label PR from status change #84: Pull request #1080 opened by kim-em
January 4, 2025 03:16 17s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:16 17s
chore: bump toolchain to v4.15.0 ci #10388: Pull request #1080 opened by kim-em
January 4, 2025 03:16 1m 34s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:16 1m 34s
chore: bump toolchain to v4.15.0 ci #10387: Commit 5195ab7 pushed by kim-em
January 4, 2025 03:15 1m 38s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:15 1m 38s
Merge conflicts Merge conflicts #11798: Scheduled
January 4, 2025 03:07 14s main
main
January 4, 2025 03:07 14s
Merge conflicts Merge conflicts #11797: Scheduled
January 4, 2025 02:25 11s main
main
January 4, 2025 02:25 11s
Merge conflicts Merge conflicts #11796: Scheduled
January 4, 2025 01:32 10s main
main
January 4, 2025 01:32 10s
Merge conflicts Merge conflicts #11795: Scheduled
January 4, 2025 00:24 11s main
main
January 4, 2025 00:24 11s
Merge conflicts Merge conflicts #11794: Scheduled
January 3, 2025 23:05 12s main
main
January 3, 2025 23:05 12s