Adaptation PR

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

Sign in to view logs

Triggered via pull request September 17, 2026 01:39

thorimur

synchronize #15150

Status Success

Total duration 1m 5s

Artifacts –

adaptation-pr.yml

on: pull_request_target

create-adaptation-pr

remove-toolchain-available