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. #8396: completed by leanprover-community-mathlib4-bot
January 3, 2025 10:08 2s
January 3, 2025 10:08 2s
Test Mathlib Test Mathlib #1901: completed by leanprover-community-mathlib4-bot
January 3, 2025 10:08 2s
January 3, 2025 10:08 2s
Trigger CI for https://github.com/leanprover/lean4/pull/6219 ci #10382: Commit 18ce3d5 pushed by leanprover-community-mathlib4-bot
January 3, 2025 10:06 1m 43s lean-pr-testing-6219
lean-pr-testing-6219
January 3, 2025 10:06 1m 43s
Merge conflicts Merge conflicts #11781: Scheduled
January 3, 2025 10:05 10s main
main
January 3, 2025 10:05 10s
Deploy Docs Deploy Docs #53: Scheduled
January 3, 2025 10:04 6m 56s main
main
January 3, 2025 10:04 6m 56s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8395: completed by leanprover-community-mathlib4-bot
January 3, 2025 09:44 3s
January 3, 2025 09:44 3s
Test Mathlib Test Mathlib #1900: completed by leanprover-community-mathlib4-bot
January 3, 2025 09:44 3s
January 3, 2025 09:44 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6306 ci #10381: Commit f4b800a pushed by leanprover-community-mathlib4-bot
January 3, 2025 09:43 1m 41s lean-pr-testing-6306
lean-pr-testing-6306
January 3, 2025 09:43 1m 41s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8394: completed by leanprover-community-mathlib4-bot
January 3, 2025 09:25 3s
January 3, 2025 09:25 3s
Test Mathlib Test Mathlib #1899: completed by leanprover-community-mathlib4-bot
January 3, 2025 09:25 3s
January 3, 2025 09:25 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10380: Commit fc0c865 pushed by leanprover-community-mathlib4-bot
January 3, 2025 09:23 1m 54s lean-pr-testing-6306
lean-pr-testing-6306
January 3, 2025 09:23 1m 54s
Test Mathlib Test Mathlib #1898: completed by leanprover-community-mathlib4-bot
January 3, 2025 09:07 2s
January 3, 2025 09:07 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8393: completed by leanprover-community-mathlib4-bot
January 3, 2025 09:07 18s
January 3, 2025 09:07 18s
Merge conflicts Merge conflicts #11780: Scheduled
January 3, 2025 09:05 2m 11s main
main
January 3, 2025 09:05 2m 11s
chore: bump to nightly-2025-01-03 ci #10379: Commit 1d574a5 pushed by leanprover-community-mathlib4-bot
January 3, 2025 09:05 1m 44s nightly-testing
nightly-testing
January 3, 2025 09:05 1m 44s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #436: Scheduled
January 3, 2025 09:05 12s main
main
January 3, 2025 09:05 12s
Merge conflicts Merge conflicts #11779: Scheduled
January 3, 2025 08:07 11s main
main
January 3, 2025 08:07 11s
Merge conflicts Merge conflicts #11778: Scheduled
January 3, 2025 07:05 10s main
main
January 3, 2025 07:05 10s
Merge conflicts Merge conflicts #11777: Scheduled
January 3, 2025 06:07 11s main
main
January 3, 2025 06:07 11s
Merge conflicts Merge conflicts #11776: Scheduled
January 3, 2025 05:05 13s main
main
January 3, 2025 05:05 13s
Merge conflicts Merge conflicts #11775: Scheduled
January 3, 2025 04:07 10s main
main
January 3, 2025 04:07 10s
Merge conflicts Merge conflicts #11774: Scheduled
January 3, 2025 03:09 14s main
main
January 3, 2025 03:09 14s
Merge conflicts Merge conflicts #11773: Scheduled
January 3, 2025 02:27 11s main
main
January 3, 2025 02:27 11s
Merge conflicts Merge conflicts #11772: Scheduled
January 3, 2025 01:33 11s main
main
January 3, 2025 01:33 11s
Merge conflicts Merge conflicts #11771: Scheduled
January 3, 2025 00:25 12s main
main
January 3, 2025 00:25 12s