Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28,620 workflow runs
28,620 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. #7249: completed by leanprover-community-mathlib4-bot
October 28, 2024 09:08 21s
October 28, 2024 09:08 21s
Test Mathlib Test Mathlib #754: completed by leanprover-community-mathlib4-bot
October 28, 2024 09:08 2s
October 28, 2024 09:08 2s
Merge conflicts Merge conflicts #10172: Scheduled
October 28, 2024 09:06 2m 10s main
main
October 28, 2024 09:06 2m 10s
chore: bump to nightly-2024-10-28 ci #9234: Commit c0d9f1b pushed by leanprover-community-mathlib4-bot
October 28, 2024 09:06 1m 44s nightly-testing
nightly-testing
October 28, 2024 09:06 1m 44s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #369: Scheduled
October 28, 2024 09:06 15s main
main
October 28, 2024 09:06 15s
Merge conflicts Merge conflicts #10171: Scheduled
October 28, 2024 08:08 12s main
main
October 28, 2024 08:08 12s
Test Mathlib Test Mathlib #753: completed by leanprover-community-mathlib4-bot
October 28, 2024 07:41 2s
October 28, 2024 07:41 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7248: completed by leanprover-community-mathlib4-bot
October 28, 2024 07:41 2s
October 28, 2024 07:41 2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #9233: Commit 8981390 pushed by leanprover-community-mathlib4-bot
October 28, 2024 07:39 1m 38s lean-pr-testing-5863
lean-pr-testing-5863
October 28, 2024 07:39 1m 38s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7247: completed by leanprover-community-mathlib4-bot
October 28, 2024 07:08 3s
October 28, 2024 07:08 3s
Test Mathlib Test Mathlib #752: completed by leanprover-community-mathlib4-bot
October 28, 2024 07:08 3s
October 28, 2024 07:08 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #9232: Commit a8a6bc8 pushed by leanprover-community-mathlib4-bot
October 28, 2024 07:06 1m 46s lean-pr-testing-5862
lean-pr-testing-5862
October 28, 2024 07:06 1m 46s
Merge conflicts Merge conflicts #10170: Scheduled
October 28, 2024 07:06 11s main
main
October 28, 2024 07:06 11s
Test Mathlib Test Mathlib #751: completed by leanprover-community-mathlib4-bot
October 28, 2024 06:27 2s
October 28, 2024 06:27 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7246: completed by leanprover-community-mathlib4-bot
October 28, 2024 06:27 3s
October 28, 2024 06:27 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #9231: Commit 4db2a67 pushed by leanprover-community-mathlib4-bot
October 28, 2024 06:25 1m 37s lean-pr-testing-5861
lean-pr-testing-5861
October 28, 2024 06:25 1m 37s
Merge conflicts Merge conflicts #10169: Scheduled
October 28, 2024 06:08 10s main
main
October 28, 2024 06:08 10s
Merge conflicts Merge conflicts #10168: Scheduled
October 28, 2024 05:06 10s main
main
October 28, 2024 05:06 10s
Test Mathlib Test Mathlib #750: completed by leanprover-community-mathlib4-bot
October 28, 2024 04:44 3s
October 28, 2024 04:44 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7245: completed by leanprover-community-mathlib4-bot
October 28, 2024 04:44 3s
October 28, 2024 04:44 3s
Trigger CI for https://github.com/leanprover/lean4/pull/5827 ci #9230: Commit c513de8 pushed by leanprover-community-mathlib4-bot
October 28, 2024 04:43 1m 31s lean-pr-testing-5827
lean-pr-testing-5827
October 28, 2024 04:43 1m 31s
Merge conflicts Merge conflicts #10167: Scheduled
October 28, 2024 04:07 10s main
main
October 28, 2024 04:07 10s
Merge conflicts Merge conflicts #10166: Scheduled
October 28, 2024 03:13 11s main
main
October 28, 2024 03:13 11s
Merge conflicts Merge conflicts #10165: Scheduled
October 28, 2024 02:30 14s main
main
October 28, 2024 02:30 14s
Test Mathlib Test Mathlib #749: completed by fgdorais
October 28, 2024 01:47 48s
October 28, 2024 01:47 48s