continuous integration (staging)

chore(scripts/mk_all): gracefully run `loadWorkspace` (#17953) #11495

Sign in to view logs

Triggered via push October 30, 2024 02:32

mathlib-bors[bot]

staging

Status Success

Total duration 7m 15s

Artifacts –

bors.yml

on: push

Cancel Previous Runs (CI)