Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21,874 workflow run results
21,874 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #8626: Scheduled
August 24, 2024 23:05 11s main
main
August 24, 2024 23:05 11s
Merge conflicts Merge conflicts #8625: Scheduled
August 24, 2024 22:04 13s main
main
August 24, 2024 22:04 13s
Merge conflicts Merge conflicts #8624: Scheduled
August 24, 2024 21:04 12s main
main
August 24, 2024 21:04 12s
Merge conflicts Merge conflicts #8623: Scheduled
August 24, 2024 20:05 11s main
main
August 24, 2024 20:05 11s
Merge conflicts Merge conflicts #8622: Scheduled
August 24, 2024 19:04 13s main
main
August 24, 2024 19:04 13s
Merge conflicts Merge conflicts #8621: Scheduled
August 24, 2024 18:05 11s main
main
August 24, 2024 18:05 11s
Merge conflicts Merge conflicts #8620: Scheduled
August 24, 2024 17:05 10s main
main
August 24, 2024 17:05 10s
Merge conflicts Merge conflicts #8619: Scheduled
August 24, 2024 16:05 10s main
main
August 24, 2024 16:05 10s
Merge conflicts Merge conflicts #8618: Scheduled
August 24, 2024 15:05 11s main
main
August 24, 2024 15:05 11s
Merge conflicts Merge conflicts #8617: Scheduled
August 24, 2024 14:05 10s main
main
August 24, 2024 14:05 10s
Merge conflicts Merge conflicts #8616: Scheduled
August 24, 2024 13:06 16s main
main
August 24, 2024 13:06 16s
Merge conflicts Merge conflicts #8615: Scheduled
August 24, 2024 12:07 13s main
main
August 24, 2024 12:07 13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5969: completed by leanprover-community-mathlib4-bot
August 24, 2024 12:03 2s
August 24, 2024 12:03 2s
Trigger CI for https://github.com/leanprover/lean4/pull/5149 ci #7956: Commit cb37c67 pushed by leanprover-community-mathlib4-bot
August 24, 2024 12:02 1m 29s lean-pr-testing-5149
lean-pr-testing-5149
August 24, 2024 12:02 1m 29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5968: completed by leanprover-community-mathlib4-bot
August 24, 2024 11:38 2s
August 24, 2024 11:38 2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7955: Commit 71d8f26 pushed by leanprover-community-mathlib4-bot
August 24, 2024 11:36 1m 43s lean-pr-testing-5149
lean-pr-testing-5149
August 24, 2024 11:36 1m 43s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5967: completed by leanprover-community-mathlib4-bot
August 24, 2024 11:27 2s
August 24, 2024 11:27 2s
Trigger CI for https://github.com/leanprover/lean4/pull/5129 ci #7954: Commit 4e27c1d pushed by leanprover-community-mathlib4-bot
August 24, 2024 11:25 1m 33s lean-pr-testing-5129
lean-pr-testing-5129
August 24, 2024 11:25 1m 33s
Merge conflicts Merge conflicts #8614: Scheduled
August 24, 2024 11:05 11s main
main
August 24, 2024 11:05 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5966: completed by leanprover-community-mathlib4-bot
August 24, 2024 10:43 2s
August 24, 2024 10:43 2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7953: Commit 1d8b877 pushed by leanprover-community-mathlib4-bot
August 24, 2024 10:41 1m 36s lean-pr-testing-5141
lean-pr-testing-5141
August 24, 2024 10:41 1m 36s
Merge conflicts Merge conflicts #8613: Scheduled
August 24, 2024 10:05 2m 14s main
main
August 24, 2024 10:05 2m 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5965: completed by leanprover-community-mathlib4-bot
August 24, 2024 09:06 14s
August 24, 2024 09:06 14s
chore: bump to nightly-2024-08-24 ci #7952: Commit bfc016f pushed by leanprover-community-mathlib4-bot
August 24, 2024 09:05 1m 44s nightly-testing
nightly-testing
August 24, 2024 09:05 1m 44s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #304: Scheduled
August 24, 2024 09:04 13s main
main
August 24, 2024 09:04 13s