Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #12640: Scheduled
February 8, 2025 05:05 11s main
main
February 8, 2025 05:05 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9029: completed by fgdorais
February 8, 2025 04:15 3s
February 8, 2025 04:15 3s
Test Mathlib Test Mathlib #2534: completed by fgdorais
February 8, 2025 04:15 2s
February 8, 2025 04:15 2s
Test Mathlib Test Mathlib #2533: completed by fgdorais
February 8, 2025 04:15 1m 0s
February 8, 2025 04:15 1m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9028: completed by fgdorais
February 8, 2025 04:15 2s
February 8, 2025 04:15 2s
feat: upstream Equiv ci #11024: Pull request #1126 synchronize by fgdorais
February 8, 2025 04:14 42s upstream-equiv
upstream-equiv
February 8, 2025 04:14 42s
fix: step-by-step ci #11023: Commit 71219be pushed by fgdorais
February 8, 2025 04:14 46s upstream-equiv
upstream-equiv
February 8, 2025 04:14 46s
Test Mathlib Test Mathlib #2532: completed by fgdorais
February 8, 2025 04:13 2s
February 8, 2025 04:13 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9027: completed by fgdorais
February 8, 2025 04:13 3s
February 8, 2025 04:13 3s
Test Mathlib Test Mathlib #2531: completed by fgdorais
February 8, 2025 04:13 56s
February 8, 2025 04:13 56s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9026: completed by fgdorais
February 8, 2025 04:13 3s
February 8, 2025 04:13 3s
feat: upstream Equiv ci #11022: Pull request #1126 synchronize by fgdorais
February 8, 2025 04:13 45s upstream-equiv
upstream-equiv
February 8, 2025 04:13 45s
fix: unnamespace Equiv ci #11021: Commit ac4fe45 pushed by fgdorais
February 8, 2025 04:13 52s upstream-equiv
upstream-equiv
February 8, 2025 04:13 52s
Merge conflicts Merge conflicts #12639: Scheduled
February 8, 2025 04:06 11s main
main
February 8, 2025 04:06 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9025: completed by fgdorais
February 8, 2025 03:32 2s
February 8, 2025 03:32 2s
Test Mathlib Test Mathlib #2530: completed by fgdorais
February 8, 2025 03:32 1m 5s
February 8, 2025 03:32 1m 5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9024: completed by fgdorais
February 8, 2025 03:31 3s
February 8, 2025 03:31 3s
Test Mathlib Test Mathlib #2529: completed by fgdorais
February 8, 2025 03:31 2s
February 8, 2025 03:31 2s
feat: upstream Equiv ci #11020: Pull request #1126 synchronize by fgdorais
February 8, 2025 03:31 49s upstream-equiv
upstream-equiv
February 8, 2025 03:31 49s
fix: protect theorem ci #11019: Commit 1b1e7dc pushed by fgdorais
February 8, 2025 03:31 41s upstream-equiv
upstream-equiv
February 8, 2025 03:31 41s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9023: completed by fgdorais
February 8, 2025 03:25 2s
February 8, 2025 03:25 2s
Test Mathlib Test Mathlib #2528: completed by fgdorais
February 8, 2025 03:25 56s
February 8, 2025 03:25 56s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9022: completed by fgdorais
February 8, 2025 03:25 3s
February 8, 2025 03:25 3s
Test Mathlib Test Mathlib #2527: completed by fgdorais
February 8, 2025 03:25 3s
February 8, 2025 03:25 3s
feat: upstream Equiv ci #11018: Pull request #1126 synchronize by fgdorais
February 8, 2025 03:24 52s upstream-equiv
upstream-equiv
February 8, 2025 03:24 52s