Restart by label

fix: use `v` in `Lean.toolchain` for release versions #13122

Sign in to view logs

Triggered via pull request September 14, 2026 19:35

Garmelon

unlabeled #15150

Status Skipped

Total duration 1s

Artifacts –

restart-on-label.yml

on: pull_request_target

restart-on-label