commit: 5726bd71d4fa198700c18d492b966c12606903ab

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

Wed Apr 01 05:16:43 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Wed Apr 01 05:20:03 2026 +0000
tree: 07a18575967e93dc14c3bef7e73cbf4587203e1e
parent: ed1073118a6e0644dc3c7f9339249b9c592df449 [diff]

fix: CI version validation for CACHE STRING CMake format

The `sed` regex for LEAN_VERSION_IS_RELEASE expected the line to end
with `)` immediately after the number, but the line now has `CACHE
STRING ""` after the value. Use `grep -oE` consistent with the other
version extractions.

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

2 files changed

tree: 07a18575967e93dc14c3bef7e73cbf4587203e1e

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.