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. #8413: completed by kim-em
January 4, 2025 05:00 1s
January 4, 2025 05:00 1s
Test Mathlib Test Mathlib #1917: completed by kim-em
January 4, 2025 05:00 2s
January 4, 2025 05:00 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8412: completed by kim-em
January 4, 2025 05:00 2s
January 4, 2025 05:00 2s
Test Mathlib Test Mathlib #1916: completed by kim-em
January 4, 2025 04:58 21s
January 4, 2025 04:58 21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8411: completed by kim-em
January 4, 2025 04:58 2s
January 4, 2025 04:58 2s
chore: adaptations for nightly-2025-01-03 ci #10399: Pull request #1082 synchronize by kim-em
January 4, 2025 04:58 1m 35s bump/nightly-2025-01-03
bump/nightly-2025-01-03
January 4, 2025 04:58 1m 35s
merge bump/v4.16.0 ci #10398: Commit 71c6c40 pushed by kim-em
January 4, 2025 04:58 1m 34s bump/nightly-2025-01-03
bump/nightly-2025-01-03
January 4, 2025 04:58 1m 34s
Test Mathlib Test Mathlib #1915: completed by kim-em
January 4, 2025 04:58 2s
January 4, 2025 04:58 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8410: completed by kim-em
January 4, 2025 04:58 2s
January 4, 2025 04:58 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8409: completed by kim-em
January 4, 2025 04:58 2s
January 4, 2025 04:58 2s
Test Mathlib Test Mathlib #1914: completed by kim-em
January 4, 2025 04:58 2s
January 4, 2025 04:58 2s
chore: bump toolchain to v4.15.0 (#1080) ci #10397: Commit e8dc5fc pushed by kim-em
January 4, 2025 04:58 39s bump/v4.16.0
bump/v4.16.0
January 4, 2025 04:58 39s
chore: adaptations for nightly-2025-01-03 ci #10396: Pull request #1082 opened by kim-em
January 4, 2025 04:57 1m 39s bump/nightly-2025-01-03
bump/nightly-2025-01-03
January 4, 2025 04:57 1m 39s
merge lean-pr-testing-6397 ci #10395: Commit 1a27806 pushed by kim-em
January 4, 2025 04:56 1m 34s bump/nightly-2025-01-03
bump/nightly-2025-01-03
January 4, 2025 04:56 1m 34s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8408: completed by kim-em
January 4, 2025 04:55 2s
January 4, 2025 04:55 2s
Test Mathlib Test Mathlib #1913: completed by kim-em
January 4, 2025 04:55 2s
January 4, 2025 04:55 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8407: completed by kim-em
January 4, 2025 04:55 2s
January 4, 2025 04:55 2s
Test Mathlib Test Mathlib #1912: completed by kim-em
January 4, 2025 04:55 2s
January 4, 2025 04:55 2s
chore: bump toolchain to v4.16.0-rc1 ci #10394: Pull request #1081 opened by kim-em
January 4, 2025 04:54 1m 9s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 04:54 1m 9s
chore: bump toolchain to v4.16.0-rc1 Label PR from status change #86: Pull request #1081 opened by kim-em
January 4, 2025 04:54 11s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 04:54 11s
chore: bump toolchain to v4.16.0-rc1 ci #10393: Commit 740ad86 pushed by kim-em
January 4, 2025 04:54 1m 10s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 04:54 1m 10s
Merge conflicts Merge conflicts #11799: Scheduled
January 4, 2025 04:06 2m 15s main
main
January 4, 2025 04:06 2m 15s
chore: bump toolchain to v4.15.0 Label PR based on Comment #1496: Issue comment #1080 (comment) created by leanprover-community-bot
January 4, 2025 04:03 3s
January 4, 2025 04:03 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8406: completed by kim-em
January 4, 2025 03:22 2s
January 4, 2025 03:22 2s
Test Mathlib Test Mathlib #1911: completed by kim-em
January 4, 2025 03:22 1s
January 4, 2025 03:22 1s