Skip to content

Pin egglog-experimental commit + --locked (alternative to #1628) - #1629

Closed
oflatt-claude wants to merge 1 commit into
herbie-fp:mainfrom
oflatt-claude:fix/egglog-install-pinned
Closed

Pin egglog-experimental commit + --locked (alternative to #1628)#1629
oflatt-claude wants to merge 1 commit into
herbie-fp:mainfrom
oflatt-claude:fix/egglog-install-pinned

Conversation

@oflatt-claude

Copy link
Copy Markdown

Alternative to #1628 — pick one.

Same root cause as #1628 (see there for the full write-up: cargo install ignores the lockfile and re-resolves, and clap_derive 4.6 → syn 3.x dropped the syn/full feature egglog was relying on).

This variant goes further than #1628 for full reproducibility:

cargo install --locked --git .../egglog-experimental --rev <sha> egglog-experimental
  • --locked → honor egglog-experimental's committed Cargo.lock instead of re-resolving (fixes the break).
  • --rev <sha> → stop floating on --branch main, so the egglog version only changes when we deliberately bump the pin.

Trade-off vs #1628: reproducible and immune to both upstream main moving and dependency drift, but requires a manual rev bump to pick up egglog updates. #1628 (just --locked, keep --branch main) still auto-follows main.

Note: pinning the rev without --locked would not fix the bug — cargo install would still re-resolve transitive deps. --locked is the load-bearing part; the rev pin is for reproducibility.

🤖 Generated with Claude Code

Alternative to floating on `--branch main`: pin an exact
egglog-experimental commit and pass --locked so `cargo install` honors
its committed Cargo.lock instead of re-resolving to the newest compatible
versions. This makes the egglog install fully reproducible and immune to
both egglog-experimental main moving and transitive dependency drift
(e.g. the clap_derive 4.6 -> syn 3.x change that broke the build).

Bump the pinned rev deliberately to pick up egglog updates.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@oflatt

oflatt commented Jul 25, 2026

Copy link
Copy Markdown
Collaborator

We should merge this after egglog experimental gets updated with the upstream fix. Closing for now

@oflatt oflatt closed this Jul 25, 2026
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