Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main into nightly-testing ci #10150: Commit 66665ee pushed by leanprover-community-mathlib4-bot
December 4, 2024 20:30 51s nightly-testing
nightly-testing
December 4, 2024 20:30 51s
feat: Define dependent version of Fin.foldl Label PR from status change #75: Pull request #1071 closed by fgdorais
December 4, 2024 20:29 13s quangvdao:Fin.fold-dep
quangvdao:Fin.fold-dep
December 4, 2024 20:29 13s
feat: Define dependent version of Fin.foldl (#1071) ci #10149: Commit c016aa9 pushed by github-merge-queue bot
December 4, 2024 20:29 51s main
main
December 4, 2024 20:29 51s
feat: Define dependent version of Fin.foldl (#1071) Merge main to nightly #544: Commit c016aa9 pushed by github-merge-queue bot
December 4, 2024 20:29 15s main
main
December 4, 2024 20:29 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8162: completed by github-merge-queue bot
December 4, 2024 20:29 3s
December 4, 2024 20:29 3s
Test Mathlib Test Mathlib #1667: completed by github-merge-queue bot
December 4, 2024 20:29 3s
December 4, 2024 20:29 3s
feat: Define dependent version of Fin.foldl (#1071) ci #10148: Commit c016aa9 pushed by github-merge-queue bot
December 4, 2024 20:28 54s gh-readonly-queue/main/pr-1071-7805acf1864ba1a2e359f86a8f092ccf1438ad83
gh-readonly-queue/main/pr-1071-7805acf1864ba1a2e359f86a8f092ccf1438ad83
December 4, 2024 20:28 54s
Merge conflicts Merge conflicts #11071: Scheduled
December 4, 2024 20:06 15s main
main
December 4, 2024 20:06 15s
Test Mathlib Test Mathlib #1666: completed by leanprover-community-mathlib4-bot
December 4, 2024 19:54 4s
December 4, 2024 19:54 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8161: completed by leanprover-community-mathlib4-bot
December 4, 2024 19:54 4s
December 4, 2024 19:54 4s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10147: Commit ec9f438 pushed by leanprover-community-mathlib4-bot
December 4, 2024 19:53 1m 52s lean-pr-testing-6311
lean-pr-testing-6311
December 4, 2024 19:53 1m 52s
Merge conflicts Merge conflicts #11070: Scheduled
December 4, 2024 19:06 12s main
main
December 4, 2024 19:06 12s
Merge conflicts Merge conflicts #11069: Scheduled
December 4, 2024 18:07 12s main
main
December 4, 2024 18:07 12s
Test Mathlib Test Mathlib #1665: completed by leanprover-community-mathlib4-bot
December 4, 2024 17:58 4s
December 4, 2024 17:58 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8160: completed by leanprover-community-mathlib4-bot
December 4, 2024 17:58 3s
December 4, 2024 17:58 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6307 ci #10146: Commit b6f34fa pushed by leanprover-community-mathlib4-bot
December 4, 2024 17:56 1m 55s lean-pr-testing-6307
lean-pr-testing-6307
December 4, 2024 17:56 1m 55s
Merge conflicts Merge conflicts #11068: Scheduled
December 4, 2024 17:05 12s main
main
December 4, 2024 17:05 12s
Merge conflicts Merge conflicts #11067: Scheduled
December 4, 2024 16:07 17s main
main
December 4, 2024 16:07 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8159: completed by leanprover-community-mathlib4-bot
December 4, 2024 15:53 3s
December 4, 2024 15:53 3s
Test Mathlib Test Mathlib #1664: completed by leanprover-community-mathlib4-bot
December 4, 2024 15:53 3s
December 4, 2024 15:53 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10145: Commit 0d477d9 pushed by leanprover-community-mathlib4-bot
December 4, 2024 15:51 1m 41s lean-pr-testing-6307
lean-pr-testing-6307
December 4, 2024 15:51 1m 41s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8158: completed by quangvdao
December 4, 2024 15:41 4s
December 4, 2024 15:41 4s
Test Mathlib Test Mathlib #1663: completed by quangvdao
December 4, 2024 15:41 1m 1s
December 4, 2024 15:41 1m 1s
Merge conflicts Merge conflicts #11066: Scheduled
December 4, 2024 15:06 43s main
main
December 4, 2024 15:06 43s
feat: Define dependent version of Fin.foldl Label PR based on Comment #1481: Issue comment #1071 (comment) created by quangvdao
December 4, 2024 14:54 4s
December 4, 2024 14:54 4s