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. #8400: completed by leanprover-community-mathlib4-bot
January 3, 2025 22:23 3s
January 3, 2025 22:23 3s
Test Mathlib Test Mathlib #1905: completed by leanprover-community-mathlib4-bot
January 3, 2025 22:23 3s
January 3, 2025 22:23 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6219 ci #10386: Commit d0b45c5 pushed by leanprover-community-mathlib4-bot
January 3, 2025 22:22 1m 40s lean-pr-testing-6219
lean-pr-testing-6219
January 3, 2025 22:22 1m 40s
Merge conflicts Merge conflicts #11793: Scheduled
January 3, 2025 22:05 11s main
main
January 3, 2025 22:05 11s
Merge conflicts Merge conflicts #11792: Scheduled
January 3, 2025 21:05 13s main
main
January 3, 2025 21:05 13s
Merge conflicts Merge conflicts #11791: Scheduled
January 3, 2025 20:06 13s main
main
January 3, 2025 20:06 13s
Merge conflicts Merge conflicts #11790: Scheduled
January 3, 2025 19:05 10s main
main
January 3, 2025 19:05 10s
Merge conflicts Merge conflicts #11789: Scheduled
January 3, 2025 18:07 15s main
main
January 3, 2025 18:07 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8399: completed by leanprover-community-mathlib4-bot
January 3, 2025 17:59 3s
January 3, 2025 17:59 3s
Test Mathlib Test Mathlib #1904: completed by leanprover-community-mathlib4-bot
January 3, 2025 17:59 3s
January 3, 2025 17:59 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6496 ci #10385: Commit 8d8862e pushed by leanprover-community-mathlib4-bot
January 3, 2025 17:57 1m 54s lean-pr-testing-6496
lean-pr-testing-6496
January 3, 2025 17:57 1m 54s
Merge conflicts Merge conflicts #11788: Scheduled
January 3, 2025 17:05 10s main
main
January 3, 2025 17:05 10s
Merge conflicts Merge conflicts #11787: Scheduled
January 3, 2025 16:06 10s main
main
January 3, 2025 16:06 10s
Test Mathlib Test Mathlib #1903: completed by leanprover-community-mathlib4-bot
January 3, 2025 15:18 3s
January 3, 2025 15:18 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8398: completed by leanprover-community-mathlib4-bot
January 3, 2025 15:18 3s
January 3, 2025 15:18 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6516 ci #10384: Commit fa92588 pushed by leanprover-community-mathlib4-bot
January 3, 2025 15:16 1m 51s lean-pr-testing-6516
lean-pr-testing-6516
January 3, 2025 15:16 1m 51s
Merge conflicts Merge conflicts #11786: Scheduled
January 3, 2025 15:05 12s main
main
January 3, 2025 15:05 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8397: completed by leanprover-community-mathlib4-bot
January 3, 2025 15:00 3s
January 3, 2025 15:00 3s
Test Mathlib Test Mathlib #1902: completed by leanprover-community-mathlib4-bot
January 3, 2025 15:00 3s
January 3, 2025 15:00 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10383: Commit 2bca295 pushed by leanprover-community-mathlib4-bot
January 3, 2025 14:59 1m 55s lean-pr-testing-6516
lean-pr-testing-6516
January 3, 2025 14:59 1m 55s
Merge conflicts Merge conflicts #11785: Scheduled
January 3, 2025 14:05 11s main
main
January 3, 2025 14:05 11s
Merge conflicts Merge conflicts #11784: Scheduled
January 3, 2025 13:08 12s main
main
January 3, 2025 13:08 12s
Merge conflicts Merge conflicts #11783: Scheduled
January 3, 2025 12:09 11s main
main
January 3, 2025 12:09 11s
Merge conflicts Merge conflicts #11782: Scheduled
January 3, 2025 11:05 13s main
main
January 3, 2025 11:05 13s
pages build and deployment pages-build-deployment #55: by github-pages bot
January 3, 2025 10:11 43s docs
docs
January 3, 2025 10:11 43s