Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32,096 workflow run results
32,096 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #10962: Scheduled
November 30, 2024 07:05 10s main
main
November 30, 2024 07:05 10s
Merge conflicts Merge conflicts #10961: Scheduled
November 30, 2024 06:07 14s main
main
November 30, 2024 06:07 14s
Merge conflicts Merge conflicts #10960: Scheduled
November 30, 2024 05:05 11s main
main
November 30, 2024 05:05 11s
Merge conflicts Merge conflicts #10959: Scheduled
November 30, 2024 04:06 11s main
main
November 30, 2024 04:06 11s
Merge conflicts Merge conflicts #10958: Scheduled
November 30, 2024 03:14 2m 11s main
main
November 30, 2024 03:14 2m 11s
Test Mathlib Test Mathlib #1600: completed by leanprover-community-mathlib4-bot
November 30, 2024 03:05 2s
November 30, 2024 03:05 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8095: completed by leanprover-community-mathlib4-bot
November 30, 2024 03:05 3s
November 30, 2024 03:05 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10077: Commit 3a05a35 pushed by leanprover-community-mathlib4-bot
November 30, 2024 03:03 1m 49s lean-pr-testing-6165
lean-pr-testing-6165
November 30, 2024 03:03 1m 49s
Test Mathlib Test Mathlib #1599: completed by kim-em
November 30, 2024 02:34 3s
November 30, 2024 02:34 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8094: completed by kim-em
November 30, 2024 02:34 19s
November 30, 2024 02:34 19s
Remove upstreamed ci #10076: Commit ec36ffd pushed by kim-em
November 30, 2024 02:32 1m 37s nightly-testing
nightly-testing
November 30, 2024 02:32 1m 37s
Merge conflicts Merge conflicts #10957: Scheduled
November 30, 2024 02:29 10s main
main
November 30, 2024 02:29 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8093: completed by leanprover-community-mathlib4-bot
November 30, 2024 01:40 3s
November 30, 2024 01:40 3s
Test Mathlib Test Mathlib #1598: completed by leanprover-community-mathlib4-bot
November 30, 2024 01:40 3s
November 30, 2024 01:40 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6123 ci #10075: Commit 04c565b pushed by leanprover-community-mathlib4-bot
November 30, 2024 01:38 1m 43s lean-pr-testing-6123
lean-pr-testing-6123
November 30, 2024 01:38 1m 43s
Merge conflicts Merge conflicts #10956: Scheduled
November 30, 2024 01:33 11s main
main
November 30, 2024 01:33 11s
Test Mathlib Test Mathlib #1597: completed by leanprover-community-mathlib4-bot
November 30, 2024 00:43 3s
November 30, 2024 00:43 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8092: completed by leanprover-community-mathlib4-bot
November 30, 2024 00:43 3s
November 30, 2024 00:43 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6123 ci #10074: Commit 955b85b pushed by leanprover-community-mathlib4-bot
November 30, 2024 00:41 1m 39s lean-pr-testing-6123
lean-pr-testing-6123
November 30, 2024 00:41 1m 39s
Merge conflicts Merge conflicts #10955: Scheduled
November 30, 2024 00:25 14s main
main
November 30, 2024 00:25 14s
Merge conflicts Merge conflicts #10954: Scheduled
November 29, 2024 23:05 10s main
main
November 29, 2024 23:05 10s
Test Mathlib Test Mathlib #1596: completed by leanprover-community-mathlib4-bot
November 29, 2024 22:46 2s
November 29, 2024 22:46 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8091: completed by leanprover-community-mathlib4-bot
November 29, 2024 22:46 3s
November 29, 2024 22:46 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6123 ci #10073: Commit 6383a12 pushed by leanprover-community-mathlib4-bot
November 29, 2024 22:44 1m 45s lean-pr-testing-6123
lean-pr-testing-6123
November 29, 2024 22:44 1m 45s
Merge conflicts Merge conflicts #10953: Scheduled
November 29, 2024 22:05 10s main
main
November 29, 2024 22:05 10s