Skip to content

fix: regenerate avm-transpiler Cargo.lock for noir nightly-2026-05-29#23685

Closed
AztecBot wants to merge 1 commit into
merge-train/spartanfrom
cb/fix-avm-transpiler-lockfile
Closed

fix: regenerate avm-transpiler Cargo.lock for noir nightly-2026-05-29#23685
AztecBot wants to merge 1 commit into
merge-train/spartanfrom
cb/fix-avm-transpiler-lockfile

Conversation

@AztecBot

Copy link
Copy Markdown
Collaborator

Problem

CI on merge-train/spartan (commit 84765424b7b, PR #23631) failed in the avm-transpiler-native step (log):

cargo build --release --locked --bin avm-transpiler
error: the lock file .../avm-transpiler/Cargo.lock needs to be updated but --locked was passed to prevent this

Root cause

Commit f5ba79050bd (#23675) bumped the noir/noir-repo submodule pointer to nightly-2026-05-29 (4d0392685). That noir revision introduced the new msgpack_tagged / msgpack_tagged_derive path crates (pulled in via acvm/noirc_*) and transitively bumped serde_with (3.16.1 → 3.20.0) and darling (0.21.3 → 0.23.0). The submodule bump landed without regenerating avm-transpiler/Cargo.lock, leaving it stale — so --locked builds fail.

Fix

Regenerated avm-transpiler/Cargo.lock via a plain cargo build (minimal resolution, no forced cargo update). Only the lockfile changes: the new msgpack_tagged* path entries are added plus the transitively-required registry bumps.

Verification

  • cargo build --release --locked --bin avm-transpiler now succeeds.
  • The exact failing CI step, avm-transpiler/bootstrap.sh build_native, completes cleanly.

Only avm-transpiler/Cargo.lock is touched; the noir submodule pointer is unchanged.


Created by claudebox · group: slackbot

@AztecBot AztecBot added ci-skip claudebox Owned by claudebox. it can push to this PR. labels May 29, 2026
@AztecBot

AztecBot commented Jun 4, 2026

Copy link
Copy Markdown
Collaborator Author

Automatically closing this stale claudebox draft PR (no updates for 5+ days). Re-open if still needed.

@AztecBot AztecBot closed this Jun 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci-skip claudebox Owned by claudebox. it can push to this PR.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant