Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix: explicit arguments ci #11017: Commit 3b5efbd pushed by fgdorais
February 8, 2025 03:24 51s upstream-equiv
upstream-equiv
February 8, 2025 03:24 51s
Merge conflicts Merge conflicts #12638: Scheduled
February 8, 2025 03:07 12s main
main
February 8, 2025 03:07 12s
Test Mathlib Test Mathlib #2526: completed by fgdorais
February 8, 2025 03:03 54s
February 8, 2025 03:03 54s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9021: completed by fgdorais
February 8, 2025 03:03 2s
February 8, 2025 03:03 2s
Test Mathlib Test Mathlib #2525: completed by fgdorais
February 8, 2025 03:03 2s
February 8, 2025 03:03 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9020: completed by fgdorais
February 8, 2025 03:03 2s
February 8, 2025 03:03 2s
feat: upstream Equiv ci #11016: Pull request #1126 synchronize by fgdorais
February 8, 2025 03:02 57s upstream-equiv
upstream-equiv
February 8, 2025 03:02 57s
fix: stray lines ci #11015: Commit 0f3f5e7 pushed by fgdorais
February 8, 2025 03:02 42s upstream-equiv
upstream-equiv
February 8, 2025 03:02 42s
Test Mathlib Test Mathlib #2524: completed by fgdorais
February 8, 2025 02:47 1m 9s
February 8, 2025 02:47 1m 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9019: completed by fgdorais
February 8, 2025 02:47 2s
February 8, 2025 02:47 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9018: completed by fgdorais
February 8, 2025 02:47 3s
February 8, 2025 02:47 3s
Test Mathlib Test Mathlib #2523: completed by fgdorais
February 8, 2025 02:47 3s
February 8, 2025 02:47 3s
feat: upstream Equiv ci #11014: Pull request #1126 synchronize by fgdorais
February 8, 2025 02:46 43s upstream-equiv
upstream-equiv
February 8, 2025 02:46 43s
fix: namespace Equiv in Batteries ci #11013: Commit e8ead98 pushed by fgdorais
February 8, 2025 02:46 46s upstream-equiv
upstream-equiv
February 8, 2025 02:46 46s
Merge conflicts Merge conflicts #12637: Scheduled
February 8, 2025 02:23 11s main
main
February 8, 2025 02:23 11s
Test Mathlib Test Mathlib #2522: completed by fgdorais
February 8, 2025 02:11 59s
February 8, 2025 02:11 59s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9017: completed by fgdorais
February 8, 2025 02:11 2s
February 8, 2025 02:11 2s
Test Mathlib Test Mathlib #2521: completed by fgdorais
February 8, 2025 02:11 2s
February 8, 2025 02:11 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9016: completed by fgdorais
February 8, 2025 02:11 2s
February 8, 2025 02:11 2s
feat: upstream Equiv ci #11012: Pull request #1126 synchronize by fgdorais
February 8, 2025 02:10 42s upstream-equiv
upstream-equiv
February 8, 2025 02:10 42s
fix: return non-essential lemmas ci #11011: Commit 3a15dfc pushed by fgdorais
February 8, 2025 02:10 41s upstream-equiv
upstream-equiv
February 8, 2025 02:10 41s
Test Mathlib Test Mathlib #2520: completed by fgdorais
February 8, 2025 02:08 59s
February 8, 2025 02:08 59s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9015: completed by fgdorais
February 8, 2025 02:08 2s
February 8, 2025 02:08 2s