Skip to content

[ci] E: Update Nanvix SDK - #175

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

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

Conversation

@ppenna

@ppenna ppenna commented Sep 4, 2026

Copy link
Copy Markdown

Automated coherent update to verified Nanvix SDK v0.24.14-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 4, 2026 13:57

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 are internally consistent and the update is a straightforward, pinned SDK version/digest bump with no leftover references to the prior version.

Review tier: Lite
Findings: None

What changed in this PR

Updates the Nanvix build configuration in this repo to use the verified Nanvix SDK v0.24.14-sdk.1, keeping the manifest and lockfile in sync for reproducible CI/builds.

Changes:

  • Bump .nanvix/nanvix.toml to Nanvix 0.24.14 and SDK v0.24.14-sdk.1, including the new image digest.
  • Regenerate .nanvix/nanvix.lock to match the updated manifest, including new commit IDs, asset URLs/IDs, and toolchain LLVM commit.
File Description
.nanvix/​nanvix.toml Updates Nanvix + SDK version and pinned SDK image digest used by builds.
.nanvix/​nanvix.lock Lockfile regeneration to reflect the new SDK/sysroot/toolchain metadata and asset references.

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

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