commit: af6ddb642000371db98a7b2aa074841c2d3a6769

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

Sun Jun 01 22:28:43 2025 +0200
committer: GitHub <noreply@github.com>

Sun Jun 01 22:28:43 2025 +0200
tree: 7c441edf780b808fce5e5e7b6c73626fd89cb35a
parent: 193f59aefeb1fd233656c811444bb014f94e8129 [diff]

chore: CI: fix cache

* include .olean variants
* include SHA in key on push as well

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

1 file changed

tree: 7c441edf780b808fce5e5e7b6c73626fd89cb35a

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.