commit: 6cd6f99e0f1afbb34c97e6333e0e5574bf9cbe78

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

Fri Apr 11 17:41:54 2025 +0200
committer: GitHub <noreply@github.com>

Fri Apr 11 17:41:54 2025 +0200
tree: a9087c0fb83fc88f6a8b7c34180d35d2e472b653
parent: e9cc776f22e82187743f1798147fd4fe9a7ebf8c [diff]

chore: CI: limit CCACHE_SIZE to 400MB

.github/workflows/build-template.yml[diff]

1 file changed

tree: a9087c0fb83fc88f6a8b7c34180d35d2e472b653

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).