Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33,135 workflow runs
33,135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #12054: Scheduled
January 14, 2025 19:05 12s main
main
January 14, 2025 19:05 12s
Merge conflicts Merge conflicts #12053: Scheduled
January 14, 2025 18:07 11s main
main
January 14, 2025 18:07 11s
Merge conflicts Merge conflicts #12052: Scheduled
January 14, 2025 17:05 12s main
main
January 14, 2025 17:05 12s
Merge conflicts Merge conflicts #12051: Scheduled
January 14, 2025 16:06 15s main
main
January 14, 2025 16:06 15s
Test Mathlib Test Mathlib #2085: completed by leanprover-community-mathlib4-bot
January 14, 2025 15:19 3s
January 14, 2025 15:19 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8580: completed by leanprover-community-mathlib4-bot
January 14, 2025 15:19 3s
January 14, 2025 15:19 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6634 ci #10566: Commit 26364a5 pushed by leanprover-community-mathlib4-bot
January 14, 2025 15:18 1m 48s lean-pr-testing-6634
lean-pr-testing-6634
January 14, 2025 15:18 1m 48s
Merge conflicts Merge conflicts #12050: Scheduled
January 14, 2025 15:05 13s main
main
January 14, 2025 15:05 13s
Test Mathlib Test Mathlib #2084: completed by leanprover-community-mathlib4-bot
January 14, 2025 14:58 3s
January 14, 2025 14:58 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8579: completed by leanprover-community-mathlib4-bot
January 14, 2025 14:58 4s
January 14, 2025 14:58 4s
Trigger CI for https://github.com/leanprover/lean4/pull/6634 ci #10565: Commit e1060c8 pushed by leanprover-community-mathlib4-bot
January 14, 2025 14:56 1m 43s lean-pr-testing-6634
lean-pr-testing-6634
January 14, 2025 14:56 1m 43s
Merge conflicts Merge conflicts #12049: Scheduled
January 14, 2025 14:05 11s main
main
January 14, 2025 14:05 11s
Merge conflicts Merge conflicts #12048: Scheduled
January 14, 2025 13:08 12s main
main
January 14, 2025 13:08 12s
Test Mathlib Test Mathlib #2083: completed by leanprover-community-mathlib4-bot
January 14, 2025 13:07 4s
January 14, 2025 13:07 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8578: completed by leanprover-community-mathlib4-bot
January 14, 2025 13:07 3s
January 14, 2025 13:07 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6329 ci #10564: Commit 3d37878 pushed by leanprover-community-mathlib4-bot
January 14, 2025 13:05 1m 44s lean-pr-testing-6329
lean-pr-testing-6329
January 14, 2025 13:05 1m 44s
Merge conflicts Merge conflicts #12047: Scheduled
January 14, 2025 12:09 11s main
main
January 14, 2025 12:09 11s
Merge conflicts Merge conflicts #12046: Scheduled
January 14, 2025 11:05 11s main
main
January 14, 2025 11:05 11s
Test Mathlib Test Mathlib #2082: completed by kim-em
January 14, 2025 10:18 3s
January 14, 2025 10:18 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8577: completed by kim-em
January 14, 2025 10:18 26s
January 14, 2025 10:18 26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8576: completed by kim-em
January 14, 2025 10:16 3s
January 14, 2025 10:16 3s
Test Mathlib Test Mathlib #2081: completed by kim-em
January 14, 2025 10:16 3s
January 14, 2025 10:16 3s
deprecation ci #10563: Commit 85eea21 pushed by kim-em
January 14, 2025 10:16 1m 47s nightly-testing
nightly-testing
January 14, 2025 10:16 1m 47s
bump toolchain ci #10562: Commit 16c3802 pushed by kim-em
January 14, 2025 10:15 1m 16s nightly-testing
nightly-testing
January 14, 2025 10:15 1m 16s
pages build and deployment pages-build-deployment #66: by github-pages bot
January 14, 2025 10:07 39s docs
docs
January 14, 2025 10:07 39s