commit: bbd86978dee52935277245fffa1a05404c813f27

[log]
author: Henrik Böving <hargonix@gmail.com>

Tue Mar 11 15:02:54 2025 +0100
committer: Henrik Böving <hargonix@gmail.com>

Tue Mar 11 15:04:45 2025 +0100
tree: 5e30f2283ec8e4a3044b9dd4d0eac137dd216d36
parent: bcea872f730e460597b1087415790c58149ece60 [diff]

keep running mac for any kind of PR

.github/workflows/ci.yml[diff]

1 file changed

tree: 5e30f2283ec8e4a3044b9dd4d0eac137dd216d36

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).