Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #10413: Scheduled
November 7, 2024 10:05 11s main
main
November 7, 2024 10:05 11s
Test Mathlib Test Mathlib #949: completed by leanprover-community-mathlib4-bot
November 7, 2024 09:55 3s
November 7, 2024 09:55 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7444: completed by leanprover-community-mathlib4-bot
November 7, 2024 09:55 3s
November 7, 2024 09:55 3s
Trigger CI for https://github.com/leanprover/lean4/pull/5977 ci #9426: Commit 5928c3b pushed by leanprover-community-mathlib4-bot
November 7, 2024 09:53 1m 51s lean-pr-testing-5977
lean-pr-testing-5977
November 7, 2024 09:53 1m 51s
feat: Vector.mapM Label PR based on Comment #1373: Issue comment #1026 (comment) created by leanprover-community-bot
November 7, 2024 09:39 2s
November 7, 2024 09:39 2s
Test Mathlib Test Mathlib #948: completed by leanprover-community-mathlib4-bot
November 7, 2024 09:17 3s
November 7, 2024 09:17 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7443: completed by leanprover-community-mathlib4-bot
November 7, 2024 09:17 3s
November 7, 2024 09:17 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #9425: Commit d9e997f pushed by leanprover-community-mathlib4-bot
November 7, 2024 09:15 1m 10s lean-pr-testing-5988
lean-pr-testing-5988
November 7, 2024 09:15 1m 10s
Test Mathlib Test Mathlib #947: completed by leanprover-community-mathlib4-bot
November 7, 2024 09:07 3s
November 7, 2024 09:07 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7442: completed by leanprover-community-mathlib4-bot
November 7, 2024 09:07 3s
November 7, 2024 09:07 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #9424: Commit 07e7347 pushed by leanprover-community-mathlib4-bot
November 7, 2024 09:06 35s lean-pr-testing-5835
lean-pr-testing-5835
November 7, 2024 09:06 35s
Merge conflicts Merge conflicts #10412: Scheduled
November 7, 2024 09:05 15s main
main
November 7, 2024 09:05 15s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #379: Scheduled
November 7, 2024 09:05 17s main
main
November 7, 2024 09:05 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7441: completed by kim-em
November 7, 2024 08:44 3s
November 7, 2024 08:44 3s
Test Mathlib Test Mathlib #946: completed by kim-em
November 7, 2024 08:44 48s
November 7, 2024 08:44 48s
Test Mathlib Test Mathlib #945: completed by kim-em
November 7, 2024 08:44 3s
November 7, 2024 08:44 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7440: completed by kim-em
November 7, 2024 08:44 3s
November 7, 2024 08:44 3s
feat: Vector.mapM ci #9423: Pull request #1026 synchronize by kim-em
November 7, 2024 08:44 41s vector_monadic
vector_monadic
November 7, 2024 08:44 41s
doc-string ci #9422: Commit bb41cd4 pushed by kim-em
November 7, 2024 08:43 41s vector_monadic
vector_monadic
November 7, 2024 08:43 41s
Merge conflicts Merge conflicts #10411: Scheduled
November 7, 2024 08:07 14s main
main
November 7, 2024 08:07 14s
Merge conflicts Merge conflicts #10410: Scheduled
November 7, 2024 07:05 10s main
main
November 7, 2024 07:05 10s
Merge conflicts Merge conflicts #10409: Scheduled
November 7, 2024 06:07 17s main
main
November 7, 2024 06:07 17s
Test Mathlib Test Mathlib #944: completed by leanprover-community-mathlib4-bot
November 7, 2024 05:43 2s
November 7, 2024 05:43 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7439: completed by leanprover-community-mathlib4-bot
November 7, 2024 05:43 2s
November 7, 2024 05:43 2s
Merge conflicts Merge conflicts #10408: Scheduled
November 7, 2024 05:05 10s main
main
November 7, 2024 05:05 10s