Skip to content

fix: sync avm-transpiler Cargo.lock with noir submodule#23683

Merged
PhilWindle merged 1 commit into
merge-train/spartanfrom
cb/fix-avm-transpiler-lock
May 29, 2026
Merged

fix: sync avm-transpiler Cargo.lock with noir submodule#23683
PhilWindle merged 1 commit into
merge-train/spartanfrom
cb/fix-avm-transpiler-lock

Conversation

@AztecBot

Copy link
Copy Markdown
Collaborator

Problem

CI on merge-train/spartan is failing in the avm-transpiler-native build step (log):

error: the lock file /home/aztec-dev/aztec-packages/avm-transpiler/Cargo.lock needs to be updated but --locked was passed to prevent this

cargo build --release --locked --bin avm-transpiler rejects the stale lock file.

Root cause

The noir/noir-repo submodule was bumped on this branch and its acvm-repo crates (acir, acir_field, brillig) gained a new path dependency, msgpack_tagged (+ msgpack_tagged_derive). avm-transpiler/Cargo.lock was not regenerated, so it no longer matches Cargo.toml and the --locked CI build fails.

Fix

Regenerated avm-transpiler/Cargo.lock with a plain (non---locked) build so only the required entries change — no bulk update. The diff adds msgpack_tagged/msgpack_tagged_derive to the relevant dependency lists plus the transitive deps they introduce (serde_bytes, bs58, tinyvec, and a bump of darling/serde_with).

Verification

  • Reproduced the failure: cargo build --release --locked --bin avm-transpiler → lock-file error.
  • After the fix: cargo build --release --locked --bin avm-transpiler succeeds.
  • ./bootstrap.sh build_native in avm-transpiler/ (the exact failing CI step) completes cleanly.

Only avm-transpiler/Cargo.lock is changed.


Created by claudebox · group: slackbot

@AztecBot AztecBot added ci-skip claudebox Owned by claudebox. it can push to this PR. labels May 29, 2026
@PhilWindle PhilWindle marked this pull request as ready for review May 29, 2026 11:11
@PhilWindle PhilWindle merged commit 43764ab into merge-train/spartan May 29, 2026
34 of 39 checks passed
@PhilWindle PhilWindle deleted the cb/fix-avm-transpiler-lock branch May 29, 2026 11:12
PhilWindle pushed a commit that referenced this pull request May 29, 2026
)

## Problem

CI on `merge-train/spartan` is failing in the `aztec-nr` step
([log](http://ci.aztec-labs.com/1780053790683323)) with
`BoundedVec::from_parts_unchecked` deprecation errors under `nargo check
--deny-warnings`.

The train's noir submodule had diverged from `next`:

| Branch | noir pin | date | `from_parts_unchecked` deprecated? |
|---|---|---|---|
| `next` | `f1a4575` | May 11 | no |
| `merge-train/spartan` | `4d039268` | May 28 | **yes** |

The newer pin (`4d039268`) was pulled onto the train by **PR #23675**
("fix(cheat-codes): warpL2TimeAtLeastBy…"), which bumped
`noir/noir-repo` from the May-11 pin to a May-28 nightly. That nightly
added `#[deprecated]` to `BoundedVec::from_parts_unchecked`, and since
aztec-nr builds with `--deny-warnings`, the two remaining call sites
became hard errors. The two noir commits are on divergent lines (neither
is an ancestor of the other), so the train was simply ahead of `next` on
noir.

## Fix

Pin the train's noir back to exactly what `next` uses. Only two files
differed from `next`:

- `noir/noir-repo` → `f1a4575` (next's pin)
- `avm-transpiler/Cargo.lock` → next's version (it had been re-synced to
the May-28 noir by #23683; restored to match the May-11 pin)

This restores parity with `next` and removes the deprecated API
entirely, so no aztec-nr source change is needed.

## Verification

Built `nargo` from the `f1a4575` pin and ran the failing check against
the **unmodified** aztec-nr source:

- `nargo check --deny-warnings` → exit 0 (the deprecation attribute is
absent in `f1a4575`).

## Note

This is an alternative to #23687, which fixed the same failure by
patching the two aztec-nr call sites to use `from_parts` against the
newer noir. Pick one: this PR keeps the train aligned with `next`'s
noir; #23687 keeps the newer noir and updates the source. Closing
whichever isn't chosen.

---
*Created by
[claudebox](https://claudebox.work/v2/sessions/2f980b2000011f91) ·
group: `slackbot`*
danielntmd pushed a commit to danielntmd/aztec-packages that referenced this pull request Jun 4, 2026
BEGIN_COMMIT_OVERRIDE
test(e2e): unskip pipelining related e2e tests (AztecProtocol#23642)
fix(archiver): prune blocks without proposed checkpoint by end of build
slot (AztecProtocol#23606)
test: migrate benchmarks to pipelining setup (AztecProtocol#23647)
fix(p2p): fall back to archiver in BLOCK_TXS response validation
(AztecProtocol#23624)
docs(slashing): align operator and slasher docs with AZIP-7 (AztecProtocol#23494)
fix(p2p): do not penalize peers that signal a missing block with Fr.ZERO
(AztecProtocol#23672)
chore: adjust metrics deployment (AztecProtocol#23676)
fix(cheat-codes): warpL2TimeAtLeastBy advances relative to leading clock
(AztecProtocol#23675)
chore: tighten node pool sizes (AztecProtocol#23678)
chore: remove archival nodes (AztecProtocol#23630)
chore: merge blob sink duties into RPC node (AztecProtocol#23631)
fix: sync avm-transpiler Cargo.lock with noir submodule (AztecProtocol#23683)
fix(spartan): set validator lag env vars in tps-scenario (AztecProtocol#23684)
fix: make world-state hash queries reorg-aware to close getWorldState
race (AztecProtocol#23677)
fix: pin noir submodule to next's version on merge-train/spartan
(AztecProtocol#23690)
fix: ensure image ref is used by bench runner (AztecProtocol#23682)
fix(ci): retry aztec-nr nargo dependency clone on transient network
flake (AztecProtocol#23653)
chore: run one-off jobs on network nodes (AztecProtocol#23701)
fix: simulate proposals inside target slot (AztecProtocol#23692)
chore: smaller eth-devnet (AztecProtocol#23704)
chore: enable testnet autoscaling (AztecProtocol#23705)
feat(api)!: redesign node log retrieval API around tag-based queries
(AztecProtocol#23625)
fix(sequencer): set own proposed checkpoint locally instead of via p2p
loopback (AztecProtocol#23659)
END_COMMIT_OVERRIDE
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.

2 participants