Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Trigger CI for https://github.com/leanprover/lean4/pull/6330 ci #10167: Commit f21f4e0 pushed by leanprover-community-mathlib4-bot
December 7, 2024 03:21 1m 42s lean-pr-testing-6330
lean-pr-testing-6330
December 7, 2024 03:21 1m 42s
Merge conflicts Merge conflicts #11126: Scheduled
December 7, 2024 03:18 11s main
main
December 7, 2024 03:18 11s
Merge conflicts Merge conflicts #11125: Scheduled
December 7, 2024 02:31 10s main
main
December 7, 2024 02:31 10s
Merge conflicts Merge conflicts #11124: Scheduled
December 7, 2024 01:33 10s main
main
December 7, 2024 01:33 10s
Merge conflicts Merge conflicts #11123: Scheduled
December 7, 2024 00:26 17s main
main
December 7, 2024 00:26 17s
refactor: dependent fold for Fin Label PR based on Comment #1486: Issue comment #1074 (comment) created by leanprover-community-bot
December 6, 2024 23:53 2s
December 6, 2024 23:53 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8180: completed by fgdorais
December 6, 2024 23:11 4s
December 6, 2024 23:11 4s
Test Mathlib Test Mathlib #1685: completed by fgdorais
December 6, 2024 23:11 1m 2s
December 6, 2024 23:11 1m 2s
refactor: dependent fold for Fin ci #10166: Pull request #1074 opened by fgdorais
December 6, 2024 23:10 59s fin-dfold
fin-dfold
December 6, 2024 23:10 59s
refactor: dependent fold for Fin Label PR from status change #76: Pull request #1074 opened by fgdorais
December 6, 2024 23:10 13s fin-dfold
fin-dfold
December 6, 2024 23:10 13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8179: completed by fgdorais
December 6, 2024 23:08 3s
December 6, 2024 23:08 3s
Test Mathlib Test Mathlib #1684: completed by fgdorais
December 6, 2024 23:08 3s
December 6, 2024 23:08 3s
refactor: dependent fold for Fin ci #10165: Commit a4be02b pushed by fgdorais
December 6, 2024 23:07 52s fin-dfold
fin-dfold
December 6, 2024 23:07 52s
Merge conflicts Merge conflicts #11122: Scheduled
December 6, 2024 23:05 10s main
main
December 6, 2024 23:05 10s
Merge conflicts Merge conflicts #11121: Scheduled
December 6, 2024 22:05 11s main
main
December 6, 2024 22:05 11s
Merge conflicts Merge conflicts #11120: Scheduled
December 6, 2024 21:05 10s main
main
December 6, 2024 21:05 10s
Merge conflicts Merge conflicts #11119: Scheduled
December 6, 2024 20:06 20s main
main
December 6, 2024 20:06 20s
Merge conflicts Merge conflicts #11118: Scheduled
December 6, 2024 19:05 11s main
main
December 6, 2024 19:05 11s
Merge conflicts Merge conflicts #11117: Scheduled
December 6, 2024 18:07 12s main
main
December 6, 2024 18:07 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8178: completed by leanprover-community-mathlib4-bot
December 6, 2024 17:43 3s
December 6, 2024 17:43 3s
Test Mathlib Test Mathlib #1683: completed by leanprover-community-mathlib4-bot
December 6, 2024 17:43 3s
December 6, 2024 17:43 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10164: Commit 41f06a0 pushed by leanprover-community-mathlib4-bot
December 6, 2024 17:41 1m 39s lean-pr-testing-6330
lean-pr-testing-6330
December 6, 2024 17:41 1m 39s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8177: completed by leanprover-community-mathlib4-bot
December 6, 2024 17:28 3s
December 6, 2024 17:28 3s
Test Mathlib Test Mathlib #1682: completed by leanprover-community-mathlib4-bot
December 6, 2024 17:28 4s
December 6, 2024 17:28 4s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10163: Commit 1fd3e25 pushed by leanprover-community-mathlib4-bot
December 6, 2024 17:26 1m 55s lean-pr-testing-6329
lean-pr-testing-6329
December 6, 2024 17:26 1m 55s
ProTip! You can narrow down the results and go further in time using created:<2024-12-06 or the other filters available.