Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28,624 workflow runs
28,624 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. #7204: completed by github-merge-queue bot
October 28, 2024 00:14 3s
October 28, 2024 00:14 3s
Test Mathlib Test Mathlib #709: completed by github-merge-queue bot
October 28, 2024 00:14 2s
October 28, 2024 00:14 2s
fix: missing github token (#1010) ci #9194: Commit db2c5f8 pushed by github-merge-queue bot
October 28, 2024 00:13 58s gh-readonly-queue/main/pr-1010-75fb097c5dec0fb3951322dec96602eb2cc34581
gh-readonly-queue/main/pr-1010-75fb097c5dec0fb3951322dec96602eb2cc34581
October 28, 2024 00:13 58s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7202: completed by fgdorais
October 28, 2024 00:13 3s
October 28, 2024 00:13 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7203: completed by fgdorais
October 28, 2024 00:13 3s
October 28, 2024 00:13 3s
Test Mathlib Test Mathlib #708: completed by fgdorais
October 28, 2024 00:13 13s
October 28, 2024 00:13 13s
Test Mathlib Test Mathlib #707: completed by fgdorais
October 28, 2024 00:13 2s
October 28, 2024 00:13 2s
fix: missing github token ci #9193: Pull request #1010 synchronize by fgdorais
October 28, 2024 00:12 39s mathlib-test-fix-token
mathlib-test-fix-token
October 28, 2024 00:12 39s
fix: missing github token ci #9192: Commit 68a809c pushed by fgdorais
October 28, 2024 00:12 42s mathlib-test-fix-token
mathlib-test-fix-token
October 28, 2024 00:12 42s
Test Mathlib Test Mathlib #706: completed by fgdorais
October 28, 2024 00:07 10s
October 28, 2024 00:07 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7201: completed by fgdorais
October 28, 2024 00:07 2s
October 28, 2024 00:07 2s
Test Mathlib Test Mathlib #705: completed by fgdorais
October 28, 2024 00:07 1s
October 28, 2024 00:07 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7200: completed by fgdorais
October 28, 2024 00:07 2s
October 28, 2024 00:07 2s
fix: missing github token ci #9191: Pull request #1010 opened by fgdorais
October 28, 2024 00:07 47s mathlib-test-fix-token
mathlib-test-fix-token
October 28, 2024 00:07 47s
fix: missing github token ci #9190: Commit 63cfd3c pushed by fgdorais
October 28, 2024 00:06 36s mathlib-test-fix-token
mathlib-test-fix-token
October 28, 2024 00:06 36s
Test Mathlib Test Mathlib #704: completed by leanprover-community-mathlib4-bot
October 28, 2024 00:02 2s
October 28, 2024 00:02 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7199: completed by leanprover-community-mathlib4-bot
October 28, 2024 00:02 2s
October 28, 2024 00:02 2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #9189: Commit 86fea45 pushed by leanprover-community-mathlib4-bot
October 28, 2024 00:00 1m 36s lean-pr-testing-5853
lean-pr-testing-5853
October 28, 2024 00:00 1m 36s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7198: completed by fgdorais
October 27, 2024 23:57 2s
October 27, 2024 23:57 2s
Test Mathlib Test Mathlib #703: completed by fgdorais
October 27, 2024 23:57 9s
October 27, 2024 23:57 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7197: completed by leanprover-community-mathlib4-bot
October 27, 2024 23:56 14s
October 27, 2024 23:56 14s
Test Mathlib Test Mathlib #702: completed by leanprover-community-mathlib4-bot
October 27, 2024 23:56 2s
October 27, 2024 23:56 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7196: completed by github-merge-queue bot
October 27, 2024 23:56 2s
October 27, 2024 23:56 2s
Test Mathlib Test Mathlib #701: completed by github-merge-queue bot
October 27, 2024 23:56 2s
October 27, 2024 23:56 2s
feat: add Mersenne Twister PRNG ci #9188: Pull request #984 synchronize by fgdorais
October 27, 2024 23:56 40s fgdorais:mersenne-twister
fgdorais:mersenne-twister
October 27, 2024 23:56 40s