Skip to content

Actions: leanprover-community/batteries

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32,629 workflow runs
32,629 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts
Merge conflicts #11737: Scheduled
January 1, 2025 14:05 14s main
January 1, 2025 14:05 14s
Merge conflicts
Merge conflicts #11736: Scheduled
January 1, 2025 13:08 11s main
January 1, 2025 13:08 11s
Merge conflicts
Merge conflicts #11735: Scheduled
January 1, 2025 12:09 10s main
January 1, 2025 12:09 10s
Merge conflicts
Merge conflicts #11734: Scheduled
January 1, 2025 11:05 14s main
January 1, 2025 11:05 14s
pages build and deployment
pages-build-deployment #53: by github-pages bot
January 1, 2025 10:10 40s docs
January 1, 2025 10:10 40s
Merge conflicts
Merge conflicts #11733: Scheduled
January 1, 2025 10:05 12s main
January 1, 2025 10:05 12s
Deploy Docs
Deploy Docs #51: Scheduled
January 1, 2025 10:04 6m 42s main
January 1, 2025 10:04 6m 42s
Test Mathlib
Test Mathlib #1885: completed by leanprover-community-mathlib4-bot
January 1, 2025 09:07 2s
January 1, 2025 09:07 2s
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #8380: completed by leanprover-community-mathlib4-bot
January 1, 2025 09:07 19s
January 1, 2025 09:07 19s
Merge conflicts
Merge conflicts #11732: Scheduled
January 1, 2025 09:06 11s main
January 1, 2025 09:06 11s
chore: bump to nightly-2025-01-01
ci #10366: Commit 81e6b5f pushed by leanprover-community-mathlib4-bot
January 1, 2025 09:05 1m 46s nightly-testing
January 1, 2025 09:05 1m 46s
Bump lean-toolchain on nightly-testing
Bump lean-toolchain on nightly-testing #434: Scheduled
January 1, 2025 09:05 13s main
January 1, 2025 09:05 13s
Merge conflicts
Merge conflicts #11731: Scheduled
January 1, 2025 08:07 14s main
January 1, 2025 08:07 14s
Merge conflicts
Merge conflicts #11730: Scheduled
January 1, 2025 07:06 15s main
January 1, 2025 07:06 15s
Merge conflicts
Merge conflicts #11729: Scheduled
January 1, 2025 06:07 11s main
January 1, 2025 06:07 11s
Merge conflicts
Merge conflicts #11728: Scheduled
January 1, 2025 05:06 10s main
January 1, 2025 05:06 10s
Merge conflicts
Merge conflicts #11727: Scheduled
January 1, 2025 04:07 14s main
January 1, 2025 04:07 14s
Merge conflicts
Merge conflicts #11726: Scheduled
January 1, 2025 03:14 11s main
January 1, 2025 03:14 11s
Merge conflicts
Merge conflicts #11725: Scheduled
January 1, 2025 02:30 11s main
January 1, 2025 02:30 11s
Merge conflicts
Merge conflicts #11724: Scheduled
January 1, 2025 01:33 12s main
January 1, 2025 01:33 12s
Merge conflicts
Merge conflicts #11723: Scheduled
January 1, 2025 00:28 11s main
January 1, 2025 00:28 11s
Merge conflicts
Merge conflicts #11722: Scheduled
December 31, 2024 23:05 14s main
December 31, 2024 23:05 14s
Merge conflicts
Merge conflicts #11721: Scheduled
December 31, 2024 22:05 11s main
December 31, 2024 22:05 11s
Merge conflicts
Merge conflicts #11720: Scheduled
December 31, 2024 21:05 10s main
December 31, 2024 21:05 10s
Merge conflicts
Merge conflicts #11719: Scheduled
December 31, 2024 20:06 11s main
December 31, 2024 20:06 11s