Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: Define dependent version of Fin.foldl Label PR from status change #71: Pull request #1071 converted_to_draft by quangvdao
December 2, 2024 01:48 18s quangvdao:Fin.fold-dep
quangvdao:Fin.fold-dep
December 2, 2024 01:48 18s
feat: Define dependent version of Fin.foldl ci #10094: Pull request #1071 opened by quangvdao
December 2, 2024 01:48 53s quangvdao:Fin.fold-dep
quangvdao:Fin.fold-dep
December 2, 2024 01:48 53s
feat: Define dependent version of Fin.foldl Label PR from status change #70: Pull request #1071 opened by quangvdao
December 2, 2024 01:48 13s quangvdao:Fin.fold-dep
quangvdao:Fin.fold-dep
December 2, 2024 01:48 13s
Merge conflicts Merge conflicts #11004: Scheduled
December 2, 2024 01:34 14s main
main
December 2, 2024 01:34 14s
chore: bump toolchain to v4.14.0 Label PR based on Comment #1467: Issue comment #1070 (comment) created by leanprover-community-bot
December 2, 2024 00:54 2s
December 2, 2024 00:54 2s
Merge conflicts Merge conflicts #11003: Scheduled
December 2, 2024 00:28 2m 17s main
main
December 2, 2024 00:28 2m 17s
Test Mathlib Test Mathlib #1616: completed by kim-em
December 2, 2024 00:16 3s
December 2, 2024 00:16 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8111: completed by kim-em
December 2, 2024 00:16 3s
December 2, 2024 00:16 3s
Merge tag 'v4.14.0' into stable ci #10093: Commit 50dca2a pushed by kim-em
December 2, 2024 00:15 50s stable
stable
December 2, 2024 00:15 50s
chore: bump toolchain to v4.14.0 (#1070) Release Docs #2: Commit 8d6c853 pushed by kim-em
December 2, 2024 00:15 3m 32s v4.14.0
v4.14.0
December 2, 2024 00:15 3m 32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8110: completed by github-merge-queue bot
December 2, 2024 00:14 3s
December 2, 2024 00:14 3s
Test Mathlib Test Mathlib #1615: completed by github-merge-queue bot
December 2, 2024 00:14 3s
December 2, 2024 00:14 3s
Test Mathlib Test Mathlib #1614: completed by leanprover-community-mathlib4-bot
December 2, 2024 00:13 2s
December 2, 2024 00:13 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8109: completed by leanprover-community-mathlib4-bot
December 2, 2024 00:13 22s
December 2, 2024 00:13 22s
Merge main into nightly-testing ci #10092: Commit b216ed1 pushed by leanprover-community-mathlib4-bot
December 2, 2024 00:12 40s nightly-testing
nightly-testing
December 2, 2024 00:12 40s
chore: bump toolchain to v4.14.0 Label PR from status change #69: Pull request #1070 closed by kim-em
December 2, 2024 00:12 14s bump_to_v4.14.0
bump_to_v4.14.0
December 2, 2024 00:12 14s
chore: bump toolchain to v4.14.0 (#1070) ci #10091: Commit 8d6c853 pushed by github-merge-queue bot
December 2, 2024 00:12 1m 44s main
main
December 2, 2024 00:12 1m 44s
chore: bump toolchain to v4.14.0 (#1070) Merge main to nightly #542: Commit 8d6c853 pushed by github-merge-queue bot
December 2, 2024 00:12 11s main
main
December 2, 2024 00:12 11s
Test Mathlib Test Mathlib #1613: completed by github-merge-queue bot
December 2, 2024 00:12 3s
December 2, 2024 00:12 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8108: completed by github-merge-queue bot
December 2, 2024 00:12 3s
December 2, 2024 00:12 3s
chore: bump toolchain to v4.14.0 (#1070) ci #10090: Commit 8d6c853 pushed by github-merge-queue bot
December 2, 2024 00:10 1m 42s gh-readonly-queue/main/pr-1070-f46c0445cc86ad2bc973edf8c5b2bd88bd91913b
gh-readonly-queue/main/pr-1070-f46c0445cc86ad2bc973edf8c5b2bd88bd91913b
December 2, 2024 00:10 1m 42s