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

fix: github script fix repo ci #9209: Pull request #1012 synchronize by fgdorais
October 28, 2024 01:07 47s mathlib-test-fix-repo
mathlib-test-fix-repo
October 28, 2024 01:07 47s
fix: github script fix repo ci #9208: Commit 5d96210 pushed by fgdorais
October 28, 2024 01:07 45s mathlib-test-fix-repo
mathlib-test-fix-repo
October 28, 2024 01:07 45s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7219: completed by fgdorais
October 28, 2024 01:04 3s
October 28, 2024 01:04 3s
Test Mathlib Test Mathlib #724: completed by fgdorais
October 28, 2024 01:04 14s
October 28, 2024 01:04 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7218: completed by fgdorais
October 28, 2024 01:04 3s
October 28, 2024 01:04 3s
Test Mathlib Test Mathlib #723: completed by fgdorais
October 28, 2024 01:04 3s
October 28, 2024 01:04 3s
fix: github script fix repo ci #9207: Pull request #1012 opened by fgdorais
October 28, 2024 01:03 48s mathlib-test-fix-repo
mathlib-test-fix-repo
October 28, 2024 01:03 48s
fix: github script fix repo ci #9206: Commit 2073891 pushed by fgdorais
October 28, 2024 01:03 42s mathlib-test-fix-repo
mathlib-test-fix-repo
October 28, 2024 01:03 42s
Test Mathlib Test Mathlib #722: completed by fgdorais
October 28, 2024 01:01 2s
October 28, 2024 01:01 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7217: completed by fgdorais
October 28, 2024 01:01 2s
October 28, 2024 01:01 2s
fix: github script typo (#1011) ci #9205: Commit a4f1acd pushed by fgdorais
October 28, 2024 01:00 46s mathlib-test-fix-repo
mathlib-test-fix-repo
October 28, 2024 01:00 46s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7216: completed by leanprover-community-mathlib4-bot
October 28, 2024 00:27 14s
October 28, 2024 00:27 14s
Test Mathlib Test Mathlib #721: completed by leanprover-community-mathlib4-bot
October 28, 2024 00:27 2s
October 28, 2024 00:27 2s
Test Mathlib Test Mathlib #720: completed by github-merge-queue bot
October 28, 2024 00:27 2s
October 28, 2024 00:27 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7215: completed by github-merge-queue bot
October 28, 2024 00:27 2s
October 28, 2024 00:27 2s
Test Mathlib Test Mathlib #719: completed by fgdorais
October 28, 2024 00:27 15s
October 28, 2024 00:27 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7214: completed by fgdorais
October 28, 2024 00:27 2s
October 28, 2024 00:27 2s
Merge main into nightly-testing ci #9204: Commit 8c9c81b pushed by leanprover-community-mathlib4-bot
October 28, 2024 00:27 40s nightly-testing
nightly-testing
October 28, 2024 00:27 40s
fix: github script typo (#1011) Merge main to nightly #498: Commit a4f1acd pushed by github-merge-queue bot
October 28, 2024 00:26 12s main
main
October 28, 2024 00:26 12s
fix: github script typo (#1011) ci #9203: Commit a4f1acd pushed by github-merge-queue bot
October 28, 2024 00:26 47s main
main
October 28, 2024 00:26 47s
Merge conflicts Merge conflicts #10163: Scheduled
October 28, 2024 00:26 4m 11s main
main
October 28, 2024 00:26 4m 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7213: completed by github-merge-queue bot
October 28, 2024 00:26 2s
October 28, 2024 00:26 2s
Test Mathlib Test Mathlib #718: completed by github-merge-queue bot
October 28, 2024 00:26 1s
October 28, 2024 00:26 1s
fix: github script typo (#1011) ci #9202: Commit a4f1acd pushed by github-merge-queue bot
October 28, 2024 00:25 41s gh-readonly-queue/main/pr-1011-db2c5f8dd36bfab847ef42f5749cc4ba347be202
gh-readonly-queue/main/pr-1011-db2c5f8dd36bfab847ef42f5749cc4ba347be202
October 28, 2024 00:25 41s
Test Mathlib Test Mathlib #717: completed by fgdorais
October 28, 2024 00:25 2s
October 28, 2024 00:25 2s