Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25,170 workflow runs
25,170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #9298: Scheduled
September 21, 2024 23:05 12s main
main
September 21, 2024 23:05 12s
Merge conflicts Merge conflicts #9297: Scheduled
September 21, 2024 22:05 11s main
main
September 21, 2024 22:05 11s
Merge conflicts Merge conflicts #9296: Scheduled
September 21, 2024 21:04 10s main
main
September 21, 2024 21:04 10s
Merge conflicts Merge conflicts #9295: Scheduled
September 21, 2024 20:05 11s main
main
September 21, 2024 20:05 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6362: completed by leanprover-community-mathlib4-bot
September 21, 2024 19:20 2s
September 21, 2024 19:20 2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #8352: Commit b03942b pushed by leanprover-community-mathlib4-bot
September 21, 2024 19:19 1m 40s lean-pr-testing-5413
lean-pr-testing-5413
September 21, 2024 19:19 1m 40s
Merge conflicts Merge conflicts #9294: Scheduled
September 21, 2024 19:04 11s main
main
September 21, 2024 19:04 11s
Merge conflicts Merge conflicts #9293: Scheduled
September 21, 2024 18:05 14s main
main
September 21, 2024 18:05 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6361: completed by leanprover-community-mathlib4-bot
September 21, 2024 17:51 2s
September 21, 2024 17:51 2s
Trigger CI for https://github.com/leanprover/lean4/pull/5402 ci #8351: Commit 190ca33 pushed by leanprover-community-mathlib4-bot
September 21, 2024 17:49 1m 47s lean-pr-testing-5402
lean-pr-testing-5402
September 21, 2024 17:49 1m 47s
Merge conflicts Merge conflicts #9292: Scheduled
September 21, 2024 17:05 15s main
main
September 21, 2024 17:05 15s
chore: adapt to lean #5346 ci #8350: Pull request #951 opened by lyphyser
September 21, 2024 16:57 Action required lyphyser:patch-1
lyphyser:patch-1
September 21, 2024 16:57 Action required
Merge conflicts Merge conflicts #9291: Scheduled
September 21, 2024 16:06 11s main
main
September 21, 2024 16:06 11s
Merge conflicts Merge conflicts #9290: Scheduled
September 21, 2024 15:05 13s main
main
September 21, 2024 15:05 13s
Merge conflicts Merge conflicts #9289: Scheduled
September 21, 2024 14:04 12s main
main
September 21, 2024 14:04 12s
Merge conflicts Merge conflicts #9288: Scheduled
September 21, 2024 13:07 12s main
main
September 21, 2024 13:07 12s
Merge conflicts Merge conflicts #9287: Scheduled
September 21, 2024 12:08 11s main
main
September 21, 2024 12:08 11s
Merge conflicts Merge conflicts #9286: Scheduled
September 21, 2024 11:04 13s main
main
September 21, 2024 11:04 13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6360: completed by leanprover-community-mathlib4-bot
September 21, 2024 10:18 4s
September 21, 2024 10:18 4s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #8349: Commit 6b61c46 pushed by leanprover-community-mathlib4-bot
September 21, 2024 10:17 1m 30s lean-pr-testing-5412
lean-pr-testing-5412
September 21, 2024 10:17 1m 30s
Merge conflicts Merge conflicts #9285: Scheduled
September 21, 2024 10:05 15s main
main
September 21, 2024 10:05 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6359: completed by leanprover-community-mathlib4-bot
September 21, 2024 09:06 19s
September 21, 2024 09:06 19s
Merge conflicts Merge conflicts #9284: Scheduled
September 21, 2024 09:05 2m 10s main
main
September 21, 2024 09:05 2m 10s
chore: bump to nightly-2024-09-21 ci #8348: Commit f51886e pushed by leanprover-community-mathlib4-bot
September 21, 2024 09:05 1m 23s nightly-testing
nightly-testing
September 21, 2024 09:05 1m 23s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #332: Scheduled
September 21, 2024 09:04 11s main
main
September 21, 2024 09:04 11s