Skip to content

[anneal] Remove v1 Lake cache symlinks#3450

Merged
joshlf merged 1 commit into
mainfrom
Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi
Jun 16, 2026
Merged

[anneal] Remove v1 Lake cache symlinks#3450
joshlf merged 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: v19 — Compare vs v18

📚 Full Patch History

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

Version v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v13 v12 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 (d35c00e) to head (f6aeb9b).
⚠️ Report is 1 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.

@joshlf joshlf left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved mod requested changes

Comment thread anneal/v2/flake.nix
Comment thread anneal/v2/flake.nix
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 e8a9861 to f6aeb9b Compare June 16, 2026 19:04
@mdittmer mdittmer enabled auto-merge June 16, 2026 19:05
@mdittmer mdittmer added this pull request to the merge queue Jun 16, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 16, 2026
@mdittmer mdittmer added this pull request to the merge queue Jun 16, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 16, 2026
@joshlf joshlf merged commit 64bd6d6 into main Jun 16, 2026
131 checks passed
@joshlf joshlf deleted the Gf5g4ujwxwoivi2uce2w3zt2hemew6jfi branch June 16, 2026 21:20
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.

3 participants