Skip to content

[ci] E: Update Nanvix SDK - #906

Merged
ppenna merged 1 commit into
nanvix/v3.12.3from
automation/update-nanvix-version
Sep 6, 2026
Merged

[ci] E: Update Nanvix SDK#906
ppenna merged 1 commit into
nanvix/v3.12.3from
automation/update-nanvix-version

Conversation

@ppenna

@ppenna ppenna commented Sep 6, 2026

Copy link
Copy Markdown

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

Copilot AI lite review requested due to automatic review settings September 6, 2026 16:08

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.

Copilot review overview

🟢 Approval recommended

The manifest and lockfile updates are internally consistent (versions/digests/hashes) and no stale references to the prior SDK version remain.

Review tier: Lite
Findings: None

What changed in this PR

Updates the Nanvix SDK pinning for the CPython Nanvix build configuration, aligning the manifest and lockfile to the newer verified Nanvix SDK release v0.24.17-sdk.1.

Changes:

  • Bump nanvix-version in .nanvix/nanvix.toml from 0.24.15 to 0.24.17.
  • Update toolchain sdk-version and sdk-digest to v0.24.17-sdk.1 and the corresponding image digest.
  • Regenerate .nanvix/nanvix.lock to reflect the new SDK metadata (hashes, commits, release IDs, and asset URLs).
File Description
.nanvix/​nanvix.toml Updates the pinned Nanvix OS version and SDK image digest to 0.24.17 / v0.24.17-sdk.1.
.nanvix/​nanvix.lock Refreshes the generated lockfile metadata and asset references to match the updated SDK.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@ppenna
ppenna merged commit e5dcd91 into nanvix/v3.12.3 Sep 6, 2026
13 of 14 checks passed
@ppenna
ppenna deleted the automation/update-nanvix-version branch September 6, 2026 16:20
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