Skip to content

[ci] E: Update Nanvix SDK - #902

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

ppenna merged 1 commit into
nanvix/v3.12.3from
automation/update-nanvix-version

Conversation

@ppenna

@ppenna ppenna commented Sep 2, 2026

Copy link
Copy Markdown

Automated coherent update to verified Nanvix SDK v0.24.11-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 2, 2026 17:07

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 align) and no stale references to the prior SDK version remain in .nanvix/.

Review tier: Lite
Findings: None

What changed in this PR

Updates the repository’s Nanvix configuration to use the newer verified Nanvix SDK v0.24.11-sdk.1, keeping the manifest and lockfile in sync for reproducible CI/build environments.

Changes:

  • Bump Nanvix OS version and SDK version in .nanvix/nanvix.toml, including the pinned SDK image digest.
  • Regenerate .nanvix/nanvix.lock to reflect the new SDK version, image digest/ref, and resolved dependency release metadata.
File Description
.nanvix/​nanvix.toml Updates Nanvix OS/SDK version and pinned SDK image digest.
.nanvix/​nanvix.lock Updates lock metadata to match the new SDK and resolved asset/release details.

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

@ppenna
ppenna merged commit 9fdfa0d into nanvix/v3.12.3 Sep 2, 2026
13 of 14 checks passed
@ppenna
ppenna deleted the automation/update-nanvix-version branch September 2, 2026 17:21
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