Skip to content

[anneal] Prime Lake traces in one server traversal - #3485

Open
mdittmer wants to merge 1 commit into
Gxsjyiksx4pd6h5gzup7ensn4qtrxu6s3from
Gcz4iteion3frenivdjpngxluv7c3bshf
Open

[anneal] Prime Lake traces in one server traversal#3485
mdittmer wants to merge 1 commit into
Gxsjyiksx4pd6h5gzup7ensn4qtrxu6s3from
Gcz4iteion3frenivdjpngxluv7c3bshf

Conversation

@mdittmer

@mdittmer mdittmer commented Jul 13, 2026

Copy link
Copy Markdown
Collaborator

Replace the iterative .trace.nobuild promotion loop with a Lake script that runs the language-server setup graph once in old mode, rehashes artifacts, and publishes exact package-qualified module traces only after the full traversal succeeds.

Keep cached native artifacts byte-stable through Nix fixups and final archive staging, then assert ordinary hash-mode setup-file works against the read-only vendored tree. Extend the installed-archive regression to consume the returned server setup and verify every referenced artifact belongs to the toolchain.


Latest Update: v8 — Compare vs v7

📚 Full Patch History

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

Version v7 v6 v5 v4 v3 v2 v1 Base
v8 vs v7 vs v6 vs v5 vs v4 vs v3 vs v2 vs v1 vs Base
v7 vs v6 vs v5 vs v4 vs v3 vs v2 vs v1 vs Base
v6 vs v5 vs v4 vs v3 vs v2 vs v1 vs Base
v5 vs v4 vs v3 vs v2 vs v1 vs Base
v4 vs v3 vs v2 vs v1 vs Base
v3 vs v2 vs v1 vs Base
v2 vs v1 vs Base
v1 vs Base
⬇️ Download this PR

Branch

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

Checkout

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

Cherry Pick

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

Pull

git pull origin refs/heads/Gcz4iteion3frenivdjpngxluv7c3bshf

Stacked PRs enabled by GHerrit.

@codecov-commenter

codecov-commenter commented Jul 13, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.85%. Comparing base (ea1b1b2) to head (26fa0d6).

Additional details and impacted files
@@                        Coverage Diff                         @@
##           Gxsjyiksx4pd6h5gzup7ensn4qtrxu6s3    #3485   +/-   ##
==================================================================
  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.

Comment thread anneal/flake.nix
Comment thread anneal/flake.nix
@mdittmer
mdittmer requested a review from joshlf July 30, 2026 18:11
@mdittmer
mdittmer force-pushed the Gxsjyiksx4pd6h5gzup7ensn4qtrxu6s3 branch from 870d8ed to f00b59e Compare July 30, 2026 20:11
@mdittmer
mdittmer force-pushed the Gcz4iteion3frenivdjpngxluv7c3bshf branch from 0c8cf6a to eea6a10 Compare July 30, 2026 20:11
@joshlf
joshlf force-pushed the Gcz4iteion3frenivdjpngxluv7c3bshf branch from eea6a10 to dd960c4 Compare July 30, 2026 21:35
@joshlf
joshlf force-pushed the Gxsjyiksx4pd6h5gzup7ensn4qtrxu6s3 branch 2 times, most recently from d6c79e4 to 4523b34 Compare July 30, 2026 22:00
@joshlf
joshlf force-pushed the Gcz4iteion3frenivdjpngxluv7c3bshf branch 2 times, most recently from 33d0be2 to 6c5e4dd Compare July 30, 2026 22:27
@joshlf
joshlf force-pushed the Gxsjyiksx4pd6h5gzup7ensn4qtrxu6s3 branch from 4523b34 to 6009241 Compare July 30, 2026 22:27
Replace the iterative .trace.nobuild promotion loop with a Lake script that runs the language-server setup graph once in old mode, rehashes artifacts, and publishes exact package-qualified module traces only after the full traversal succeeds.

Keep cached native artifacts byte-stable through Nix fixups and final archive staging, then assert ordinary hash-mode setup-file works against the read-only vendored tree. Extend the installed-archive regression to consume the returned server setup and verify every referenced artifact belongs to the toolchain.

gherrit-pr-id: Gcz4iteion3frenivdjpngxluv7c3bshf
@joshlf
joshlf force-pushed the Gxsjyiksx4pd6h5gzup7ensn4qtrxu6s3 branch from 6009241 to ea1b1b2 Compare July 31, 2026 11:15
@joshlf
joshlf force-pushed the Gcz4iteion3frenivdjpngxluv7c3bshf branch from 6c5e4dd to 26fa0d6 Compare July 31, 2026 11:15
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