Skip to content
Check PR body for changelog convention

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

Sign in to view logs

fix: use v in Lean.toolchain for release versions

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

Triggered via pull request September 14, 2026 03:26
@thorimurthorimur
opened #15150
Status Success
Total duration 8s
Artifacts –

pr-body.yml

on: pull_request_target
check-pr-body
4s
check-pr-body
Fit to window
Zoom out
Zoom in