Skip to content

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

Draft
thorimur wants to merge 1 commit into
leanprover:masterfrom
thorimur:toolchain-v
Draft

fix: use v in Lean.toolchain for release versions#15150
thorimur wants to merge 1 commit into
leanprover:masterfrom
thorimur:toolchain-v

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

77a08c7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-body
succeeded Sep 14, 2026 in 4s