Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32,397 workflow runs
32,397 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: move to v4.15.0-rc1, and merge bump/v4.15.0 branch ci #10103: Pull request #1073 synchronize by kim-em
December 2, 2024 02:50 1m 31s bump/v4.15.0
bump/v4.15.0
December 2, 2024 02:50 1m 31s
merge ci #10102: Commit cf8a1d6 pushed by kim-em
December 2, 2024 02:50 1m 32s bump/v4.15.0
bump/v4.15.0
December 2, 2024 02:50 1m 32s
chore: adaptations for nightly-2024-12-01 (#1072) ci #10101: Commit 7dfe4c6 pushed by kim-em
December 2, 2024 02:49 1m 39s bump/v4.15.0
bump/v4.15.0
December 2, 2024 02:49 1m 39s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8117: completed by kim-em
December 2, 2024 02:49 2s
December 2, 2024 02:49 2s
Test Mathlib Test Mathlib #1622: completed by kim-em
December 2, 2024 02:49 18s
December 2, 2024 02:49 18s
Test Mathlib Test Mathlib #1621: completed by kim-em
December 2, 2024 02:48 2s
December 2, 2024 02:48 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8116: completed by kim-em
December 2, 2024 02:48 2s
December 2, 2024 02:48 2s
chore: adaptations for nightly-2024-12-01 ci #10100: Pull request #1072 opened by kim-em
December 2, 2024 02:47 1m 36s bump/nightly-2024-12-01
bump/nightly-2024-12-01
December 2, 2024 02:47 1m 36s
chore: adaptations for nightly-2024-12-01 Label PR from status change #72: Pull request #1072 opened by kim-em
December 2, 2024 02:47 11s bump/nightly-2024-12-01
bump/nightly-2024-12-01
December 2, 2024 02:47 11s
. ci #10099: Commit 09e6346 pushed by kim-em
December 2, 2024 02:47 1m 39s bump/nightly-2024-12-01
bump/nightly-2024-12-01
December 2, 2024 02:47 1m 39s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8115: completed by kim-em
December 2, 2024 02:46 13s
December 2, 2024 02:46 13s
Test Mathlib Test Mathlib #1620: completed by kim-em
December 2, 2024 02:46 2s
December 2, 2024 02:46 2s
. ci #10098: Commit 09e6346 pushed by kim-em
December 2, 2024 02:46 42s nightly-testing
nightly-testing
December 2, 2024 02:46 42s
feat: Define dependent version of Fin.foldl ci #10097: Pull request #1071 synchronize by quangvdao
December 2, 2024 02:45 Action required quangvdao:Fin.fold-dep
quangvdao:Fin.fold-dep
December 2, 2024 02:45 Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8114: completed by kim-em
December 2, 2024 02:45 11s
December 2, 2024 02:45 11s
Test Mathlib Test Mathlib #1619: completed by kim-em
December 2, 2024 02:45 2s
December 2, 2024 02:45 2s
merge ci #10096: Commit 6143acf pushed by kim-em
December 2, 2024 02:44 25s nightly-testing
nightly-testing
December 2, 2024 02:44 25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8113: completed by kim-em
December 2, 2024 02:43 2s
December 2, 2024 02:43 2s
Test Mathlib Test Mathlib #1618: completed by kim-em
December 2, 2024 02:43 1s
December 2, 2024 02:43 1s
merge main ci #10095: Commit 48c89a1 pushed by kim-em
December 2, 2024 02:42 1m 7s bump/v4.15.0
bump/v4.15.0
December 2, 2024 02:42 1m 7s
Merge conflicts Merge conflicts #11005: Scheduled
December 2, 2024 02:33 10s main
main
December 2, 2024 02:33 10s
Test Mathlib Test Mathlib #1617: completed by quangvdao
December 2, 2024 02:32 2s
December 2, 2024 02:32 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8112: completed by quangvdao
December 2, 2024 02:32 3s
December 2, 2024 02:32 3s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1469: Issue comment #1071 (comment) created by kim-em
December 2, 2024 02:31 2s
December 2, 2024 02:31 2s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1468: Issue comment #1071 (comment) created by kim-em
December 2, 2024 02:29 3s
December 2, 2024 02:29 3s