Skip to content

Actions: pimotte/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2 workflow runs
2 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. #1: completed by fgdorais
September 28, 2024 16:45 3s
September 28, 2024 16:45 3s
Merge main and trigger Mathlib check ci #1: Commit fa853a1 pushed by fgdorais
September 28, 2024 16:43 1m 25s getElem_tail_lemmas
getElem_tail_lemmas
September 28, 2024 16:43 1m 25s