commit: 37c154b6debabda28496ae3a8f111436643b297b

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Mon Nov 06 17:08:12 2023 +1100
committer: GitHub <noreply@github.com>

Mon Nov 06 06:08:12 2023 +0000
tree: 1afb1887298ec2c70c2d8797b8f471e0cf12a9a8
parent: f201f63e4988000a73befab942cbea94b8d4a1e5 [diff]

chore: use flow control rather than exit codes in CI scripts (#2828)

.github/workflows/pr-release.yml[diff]

1 file changed

tree: 1afb1887298ec2c70c2d8797b8f471e0cf12a9a8

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.