commit: 7b0d4610b02cbf8430e399590415cc50f75854fd

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

Sat Apr 27 22:58:22 2024 +0200
committer: GitHub <noreply@github.com>

Sat Apr 27 20:58:22 2024 +0000
tree: 09c54f3a3dab3f1e5c33a20b5f3cedb903226371
parent: 917a31f694f0db44d6907cc2b1485459afe74d49 [diff]

chore: CI: pin macos-13 (#3992)

macos-latest changed to arm64. It should not be hard to switch our setup
to cross-compiling x64 instead of arm64 but let's get master green again
first.

.github/workflows/ci.yml[diff]

1 file changed

tree: 09c54f3a3dab3f1e5c33a20b5f3cedb903226371

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.