commit: 742dd6d9be9633fb5fa7ecec600246102268aa9d

[log]
author: Kim Morrison <kim@tqft.net>

Fri Nov 06 19:48:35 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Fri Nov 06 20:03:42 2026 +0000
tree: 1fc8a608efe31040b408345dad8a648928e9cd87
parent: 4a07011a71354371fe1875bb60c117fce7b2250a [diff]

fix: recover builds when Lake cache artifacts disappear

src/lake/Lake/Build/Common.lean[diff]
src/lake/Lake/Build/Module.lean[diff]
tests/lake/tests/cacheEviction/pause_link.c[Added - diff]
tests/lake/tests/cacheEviction/test.py[Added - diff]
tests/lake/tests/cacheEviction/test.sh[Added - diff]

5 files changed

tree: 1fc8a608efe31040b408345dad8a648928e9cd87

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.