Skip to content

[anneal] Remove v1 Lake cache symlinks#3450

Open
mdittmer wants to merge 1 commit into
mainfrom
Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi
Open

[anneal] Remove v1 Lake cache symlinks#3450
mdittmer wants to merge 1 commit into
mainfrom
Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi

Conversation

@mdittmer

@mdittmer mdittmer commented Jun 8, 2026

Copy link
Copy Markdown
Collaborator

Findings: lake --old helps but is not enough if archive inputs have fresh mtimes, and without a root manifest Lake reconfigures path dependencies and writes locks into read-only package config trees; Lake manifest path entries can be relative to the generated workspace. In response, v1 generated workspaces now require Aeneas directly from the installed archive, write a locked relative lake-manifest.json, stop copying Aeneas/packages and symlinking .lake/build, and the archive build primes config caches, rewrites upstream trace prefixes, and makes Lake inputs older than prebuilt artifacts.


Latest Update: v12 — Compare vs v11

📚 Full Patch History

Links show the diff between the row version and the column version.

Version v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v8 v7 v6 v5 v4 v3 v2 v1 Base
v7 v6 v5 v4 v3 v2 v1 Base
v6 v5 v4 v3 v2 v1 Base
v5 v4 v3 v2 v1 Base
v4 v3 v2 v1 Base
v3 v2 v1 Base
v2 v1 Base
v1 Base
⬇️ Download this PR

Branch

git fetch origin refs/heads/Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi && git checkout -b pr-Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi FETCH_HEAD

Checkout

git fetch origin refs/heads/Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi && git checkout FETCH_HEAD

Cherry Pick

git fetch origin refs/heads/Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi && git cherry-pick FETCH_HEAD

Pull

git pull origin refs/heads/Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi

Stacked PRs enabled by GHerrit.

@codecov-commenter

codecov-commenter commented Jun 8, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.85%. Comparing base (83dbc57) to head (732cd0f).
⚠️ Report is 8 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #3450   +/-   ##
=======================================
  Coverage   91.85%   91.85%           
=======================================
  Files          20       20           
  Lines        6093     6093           
=======================================
  Hits         5597     5597           
  Misses        496      496           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@mdittmer mdittmer force-pushed the Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi branch 2 times, most recently from d5161c3 to d13276c Compare June 8, 2026 14:48
@mdittmer mdittmer force-pushed the Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi branch 3 times, most recently from 2c07e27 to 0985f2c Compare June 10, 2026 15:33
@mdittmer mdittmer requested a review from joshlf June 10, 2026 16:54
@mdittmer mdittmer force-pushed the Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi branch from 0985f2c to 7faaf99 Compare June 10, 2026 17:06
Findings: lake --old helps but is not enough if archive inputs have fresh mtimes, and without a root manifest Lake reconfigures path dependencies and writes locks into read-only package config trees; Lake manifest path entries can be relative to the generated workspace. In response, v1 generated workspaces now require Aeneas directly from the installed archive, write a locked relative lake-manifest.json, stop copying Aeneas/packages and symlinking .lake/build, and the archive build primes config caches, rewrites upstream trace prefixes, and makes Lake inputs older than prebuilt artifacts.

gherrit-pr-id: Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi
@mdittmer mdittmer force-pushed the Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi branch from 7faaf99 to 732cd0f Compare June 12, 2026 15:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants