Skip to content

[ci] E: Update Nanvix SDK - #174

Merged
ppenna merged 1 commit into
nanvix/v2.12.9from
automation/update-nanvix-version
Sep 3, 2026
Merged

[ci] E: Update Nanvix SDK#174
ppenna merged 1 commit into
nanvix/v2.12.9from
automation/update-nanvix-version

Conversation

@ppenna

@ppenna ppenna commented Sep 3, 2026

Copy link
Copy Markdown

Automated coherent update to verified Nanvix SDK v0.24.12-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 3, 2026 14:05

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 and reflect a straightforward SDK version bump without code changes.

Review tier: Lite
Findings: None

What changed in this PR

Updates the Nanvix SDK pin for this repository’s Nanvix build configuration, keeping the manifest and lockfile in sync with the newly verified SDK release.

Changes:

  • Bump nanvix-version and sdk-version in .nanvix/nanvix.toml to Nanvix 0.24.12 / SDK v0.24.12-sdk.1.
  • Update .nanvix/nanvix.lock metadata (manifest hash, SDK image digest/ref, Nanvix commit, LLVM commit) to match the new SDK release.
File Description
.nanvix/​nanvix.toml Updates Nanvix and SDK version pins and SDK image digest.
.nanvix/​nanvix.lock Regenerates lock metadata to match the updated Nanvix SDK and sysroot artifacts.

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

@ppenna
ppenna merged commit 1f56133 into nanvix/v2.12.9 Sep 3, 2026
13 of 14 checks passed
@ppenna
ppenna deleted the automation/update-nanvix-version branch September 3, 2026 14:08
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