Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29,483 workflow runs
29,483 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #10372: Scheduled
November 5, 2024 17:05 13s main
main
November 5, 2024 17:05 13s
Merge conflicts Merge conflicts #10371: Scheduled
November 5, 2024 16:06 13s main
main
November 5, 2024 16:06 13s
Merge conflicts Merge conflicts #10370: Scheduled
November 5, 2024 15:05 12s main
main
November 5, 2024 15:05 12s
Merge conflicts Merge conflicts #10369: Scheduled
November 5, 2024 14:05 11s main
main
November 5, 2024 14:05 11s
Merge conflicts Merge conflicts #10368: Scheduled
November 5, 2024 13:08 12s main
main
November 5, 2024 13:08 12s
Merge conflicts Merge conflicts #10367: Scheduled
November 5, 2024 12:09 13s main
main
November 5, 2024 12:09 13s
Merge conflicts Merge conflicts #10366: Scheduled
November 5, 2024 11:05 12s main
main
November 5, 2024 11:05 12s
Test Mathlib Test Mathlib #932: completed by leanprover-community-mathlib4-bot
November 5, 2024 10:18 3s
November 5, 2024 10:18 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7427: completed by leanprover-community-mathlib4-bot
November 5, 2024 10:18 3s
November 5, 2024 10:18 3s
Trigger CI for https://github.com/leanprover/lean4/pull/5943 ci #9409: Commit 74300c9 pushed by leanprover-community-mathlib4-bot
November 5, 2024 10:17 1m 38s lean-pr-testing-5943
lean-pr-testing-5943
November 5, 2024 10:17 1m 38s
Test Mathlib Test Mathlib #931: completed by leanprover-community-mathlib4-bot
November 5, 2024 10:13 3s
November 5, 2024 10:13 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7426: completed by leanprover-community-mathlib4-bot
November 5, 2024 10:13 3s
November 5, 2024 10:13 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #9408: Commit fbc26a9 pushed by leanprover-community-mathlib4-bot
November 5, 2024 10:11 1m 51s lean-pr-testing-5953
lean-pr-testing-5953
November 5, 2024 10:11 1m 51s
Merge conflicts Merge conflicts #10365: Scheduled
November 5, 2024 10:06 15s main
main
November 5, 2024 10:06 15s
Merge conflicts Merge conflicts #10364: Scheduled
November 5, 2024 09:05 10s main
main
November 5, 2024 09:05 10s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #377: Scheduled
November 5, 2024 09:05 18s main
main
November 5, 2024 09:05 18s
Merge conflicts Merge conflicts #10363: Scheduled
November 5, 2024 08:07 14s main
main
November 5, 2024 08:07 14s
Merge conflicts Merge conflicts #10362: Scheduled
November 5, 2024 07:05 13s main
main
November 5, 2024 07:05 13s
Merge conflicts Merge conflicts #10361: Scheduled
November 5, 2024 06:07 12s main
main
November 5, 2024 06:07 12s
Merge conflicts Merge conflicts #10360: Scheduled
November 5, 2024 05:05 16s main
main
November 5, 2024 05:05 16s
Merge conflicts Merge conflicts #10359: Scheduled
November 5, 2024 04:07 11s main
main
November 5, 2024 04:07 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7425: completed by leanprover-community-mathlib4-bot
November 5, 2024 03:56 3s
November 5, 2024 03:56 3s
Test Mathlib Test Mathlib #930: completed by leanprover-community-mathlib4-bot
November 5, 2024 03:56 3s
November 5, 2024 03:56 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #9407: Commit 1bae7d0 pushed by leanprover-community-mathlib4-bot
November 5, 2024 03:55 1m 22s lean-pr-testing-5949
lean-pr-testing-5949
November 5, 2024 03:55 1m 22s
Test Mathlib Test Mathlib #929: completed by fgdorais
November 5, 2024 03:54 2s
November 5, 2024 03:54 2s