Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28,622 workflow runs
28,622 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7228: completed by fgdorais
October 28, 2024 01:21 3s
October 28, 2024 01:21 3s
Test Mathlib Test Mathlib #733: completed by fgdorais
October 28, 2024 01:21 3s
October 28, 2024 01:21 3s
fix: github script fix repo again ci #9215: Commit d62d9dc pushed by fgdorais
October 28, 2024 01:21 38s mathlib-test-fix-repo2
mathlib-test-fix-repo2
October 28, 2024 01:21 38s
Test Mathlib Test Mathlib #732: completed by fgdorais
October 28, 2024 01:18 11s
October 28, 2024 01:18 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7227: completed by fgdorais
October 28, 2024 01:18 2s
October 28, 2024 01:18 2s
Test Mathlib Test Mathlib #731: completed by leanprover-community-mathlib4-bot
October 28, 2024 01:17 2s
October 28, 2024 01:17 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7226: completed by leanprover-community-mathlib4-bot
October 28, 2024 01:17 15s
October 28, 2024 01:17 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7225: completed by github-merge-queue bot
October 28, 2024 01:17 2s
October 28, 2024 01:17 2s
Test Mathlib Test Mathlib #730: completed by github-merge-queue bot
October 28, 2024 01:17 2s
October 28, 2024 01:17 2s
Merge main into nightly-testing ci #9214: Commit 2b38bf0 pushed by leanprover-community-mathlib4-bot
October 28, 2024 01:16 48s nightly-testing
nightly-testing
October 28, 2024 01:16 48s
fix: github script fix repo (#1012) ci #9213: Commit 19a1ab2 pushed by github-merge-queue bot
October 28, 2024 01:16 36s main
main
October 28, 2024 01:16 36s
fix: github script fix repo (#1012) Merge main to nightly #499: Commit 19a1ab2 pushed by github-merge-queue bot
October 28, 2024 01:16 17s main
main
October 28, 2024 01:16 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7224: completed by github-merge-queue bot
October 28, 2024 01:16 3s
October 28, 2024 01:16 3s
Test Mathlib Test Mathlib #729: completed by github-merge-queue bot
October 28, 2024 01:16 2s
October 28, 2024 01:16 2s
fix: github script fix repo (#1012) ci #9212: Commit 19a1ab2 pushed by github-merge-queue bot
October 28, 2024 01:15 47s gh-readonly-queue/main/pr-1012-a4f1acd436c7475dad0ba262f1872ad1a99fb0d2
gh-readonly-queue/main/pr-1012-a4f1acd436c7475dad0ba262f1872ad1a99fb0d2
October 28, 2024 01:15 47s
Test Mathlib Test Mathlib #728: completed by fgdorais
October 28, 2024 01:15 11s
October 28, 2024 01:15 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7223: completed by fgdorais
October 28, 2024 01:15 2s
October 28, 2024 01:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7222: completed by fgdorais
October 28, 2024 01:14 2s
October 28, 2024 01:14 2s
Test Mathlib Test Mathlib #727: completed by fgdorais
October 28, 2024 01:14 2s
October 28, 2024 01:14 2s
fix: github script fix repo ci #9211: Pull request #1012 synchronize by fgdorais
October 28, 2024 01:14 47s mathlib-test-fix-repo
mathlib-test-fix-repo
October 28, 2024 01:14 47s
fix: github script fix repo ci #9210: Commit 3d84e61 pushed by fgdorais
October 28, 2024 01:14 40s mathlib-test-fix-repo
mathlib-test-fix-repo
October 28, 2024 01:14 40s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7221: completed by fgdorais
October 28, 2024 01:08 3s
October 28, 2024 01:08 3s
Test Mathlib Test Mathlib #726: completed by fgdorais
October 28, 2024 01:08 15s
October 28, 2024 01:08 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7220: completed by fgdorais
October 28, 2024 01:08 3s
October 28, 2024 01:08 3s
Test Mathlib Test Mathlib #725: completed by fgdorais
October 28, 2024 01:08 3s
October 28, 2024 01:08 3s