Skip to content

[ci] E: Update Nanvix SDK#108

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

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

Conversation

@ppenna

@ppenna ppenna commented Jul 10, 2026

Copy link
Copy Markdown

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

Copilot AI review requested due to automatic review settings July 10, 2026 12:28

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

Pins the Nanvix runtime/tooling version used by this repo’s Nanvix build configuration, aligning the project with the upstream Nanvix v0.19.17 release.

Changes:

  • Bump nanvix-version in .nanvix/nanvix.toml from 0.17.84 to 0.19.17.
Show a summary per file
File Description
.nanvix/nanvix.toml Updates the pinned Nanvix version used by the Nanvix CI/build matrix.

Review details

Tip

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

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

Copilot AI review requested due to automatic review settings July 11, 2026 11:09
@ppenna
ppenna force-pushed the automation/update-nanvix-version branch from d71a30c to 2d2a035 Compare July 11, 2026 11:09
@ppenna ppenna changed the title [ci] E: Pin nanvix to v0.19.17 [ci] E: Pin nanvix to v0.20.0 Jul 11, 2026

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.

Review details

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

@ppenna
ppenna force-pushed the automation/update-nanvix-version branch from 2d2a035 to ced4329 Compare July 12, 2026 11:14
Copilot AI review requested due to automatic review settings July 12, 2026 11:14
@ppenna ppenna changed the title [ci] E: Pin nanvix to v0.20.0 [ci] E: Pin nanvix to v0.20.2 Jul 12, 2026

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.

Review details

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

@ppenna ppenna changed the title [ci] E: Pin nanvix to v0.20.2 [ci] E: Update Nanvix SDK Jul 13, 2026
Copilot AI review requested due to automatic review settings July 13, 2026 02:49
@ppenna
ppenna force-pushed the automation/update-nanvix-version branch from ced4329 to 6588e52 Compare July 13, 2026 02:49

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.

Review details

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

@ppenna
ppenna merged commit 7345ef3 into nanvix/v2.12.9 Jul 13, 2026
13 checks passed
@ppenna
ppenna deleted the automation/update-nanvix-version branch July 13, 2026 02:52
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