Skip to content

[ci] E: Update Nanvix SDK - #139

Closed
ppenna wants to merge 1 commit into
nanvix/v2.12.9from
automation/update-nanvix-version
Closed

[ci] E: Update Nanvix SDK#139
ppenna wants to merge 1 commit into
nanvix/v2.12.9from
automation/update-nanvix-version

Conversation

@ppenna

@ppenna ppenna commented Jul 24, 2026

Copy link
Copy Markdown

Automated coherent update to verified Nanvix SDK v0.21.43-sdk.1. The manifest and lockfile were generated atomically by the target zutils implementation.

Copilot AI review requested due to automatic review settings July 24, 2026 22:14

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

This PR updates the project’s Nanvix SDK pin to the verified v0.21.43-sdk.1, keeping the Nanvix manifest and lockfile in sync for reproducible builds.

Changes:

  • Bump nanvix-version and sdk-version in the Nanvix manifest to 0.21.43 / v0.21.43-sdk.1.
  • Update the pinned SDK container digest to the new verified image.
  • Regenerate .nanvix/nanvix.lock metadata (SDK, sysroot commit/sha, and dependency release references) to match the new SDK version.
Show a summary per file
File Description
.nanvix/nanvix.toml Updates the Nanvix SDK version and pinned SDK image digest used by the build tooling.
.nanvix/nanvix.lock Refreshes the lock metadata (SDK image ref, Nanvix sysroot commit, and zlib release refs) to match v0.21.43-sdk.1.

Review details

Tip

Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

  • Files reviewed: 1/2 changed files
  • Comments generated: 0
  • Review effort level: Low

@ppenna

ppenna commented Jul 24, 2026

Copy link
Copy Markdown
Author

Superseded: the manual propagation pass used the workflow default zutils v0.15.0. Rerunning with zutils v0.19.2.

@ppenna ppenna closed this Jul 24, 2026
@ppenna
ppenna deleted the automation/update-nanvix-version branch July 24, 2026 22:16
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