commit: 242429a262cd4a4d933da682480b32a41a8896fd

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

Mon Jun 16 13:58:06 2025 +0200
committer: GitHub <noreply@github.com>

Mon Jun 16 11:58:06 2025 +0000
tree: 3c3ec6cf58b5e3cff6cfe233407c4a401b93cd19
parent: d9b2a5e9f79f6815708423e5053026f67e7a78d9 [diff]

chore: CI: provide more than 8GB RAM (#8812)

We started running into OOMs in the test suite. This is the faster
alternative to lowering test parallelism.

.github/workflows/ci.yml[diff]

1 file changed

tree: 3c3ec6cf58b5e3cff6cfe233407c4a401b93cd19

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.