commit: 5f557dce2e80220544a625282d20388b4dea0242

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Thu Nov 05 09:59:34 2026 +0000
committer: Sebastian Ullrich <sebasti@nullri.ch>

Thu Nov 05 09:59:34 2026 +0000
tree: 6dc60eef0f213246e30607b2286dcfb1f24598b6
parent: 7eaccce508b5bc9224f812ce64d0266ab9e6035e [diff]

chore: also require `macOS aarch64` and `Windows` for nightly releases

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

.github/workflows/ci.yml[diff]

1 file changed

tree: 6dc60eef0f213246e30607b2286dcfb1f24598b6

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.