commit: b48f3e2cb589a2500a379cdb40cc71eeed7f1c8e

[log]
author: Kim Morrison <kim@tqft.net>

Wed Apr 08 10:05:32 2026 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Apr 08 10:08:32 2026 +1000
tree: 71716e2b18f94184e66992125609a42cef38c402
parent: bf4f51e70471a4828855f69967345c27869ad2ad [diff]

fix: update lean-toolchain in verso test-projects during release

The verso CI "SubVerso version consistency" check requires all
lean-toolchain files (including in test-projects/) to match the root.
Update them alongside the sub-manifest sync.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

script/release_steps.py[diff]

1 file changed

tree: 71716e2b18f94184e66992125609a42cef38c402

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.