commit: 41ecccec6d1244c5f89be2fc76638f22ba37cbc6

[log]
author: Mac Malone <tydeu@hatpress.net>

Fri May 08 14:00:37 2026 -0400
committer: GitHub <noreply@github.com>

Fri May 08 18:00:37 2026 +0000
tree: fac8bffc23646df6010c81ba8c89d3b5f97185ee
parent: 819f4549d9bda7c34f1ae185a3353d7dfd1f19a6 [diff]

feat: lake: hoist compiled configurations (#13683)

This PR moves the compiled Lake configurations (e.g., `lakefile.olean`)
from the package's `.lake/config` directory to the workspace's
`.lake/config`. This removes a potential source contention between
workspaces sharing a dependency.

3 files changed

tree: fac8bffc23646df6010c81ba8c89d3b5f97185ee

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.