commit: e7ad2de0e7de8bbaac8e5ba6eaf8c698b1a4f862

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

Fri Nov 06 23:07:06 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Fri Nov 06 23:07:06 2026 +0000
tree: 59a52dd0d371026e4df4cef6708c6dd459f13c74
parent: f4158700a85185edcbcae2501493482ffd125a4b [diff]

fix: publish on-demand Lake cache downloads atomically

src/lake/Lake/Config/Cache.lean[diff]
tests/lake/tests/cacheDownload/Probe.lean[Added - diff]
tests/lake/tests/cacheDownload/test.py[Added - diff]
tests/lake/tests/cacheDownload/test.sh[Added - diff]

4 files changed

tree: 59a52dd0d371026e4df4cef6708c6dd459f13c74

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.