Skip to content

[ci] Sync zutils v0.8.5#163

Merged
ppenna merged 1 commit into
nanvix/v2025.09.13from
automation/update-zutils-version
May 15, 2026
Merged

[ci] Sync zutils v0.8.5#163
ppenna merged 1 commit into
nanvix/v2025.09.13from
automation/update-zutils-version

Conversation

@ppenna
Copy link
Copy Markdown

@ppenna ppenna commented May 15, 2026

Automated sync with v0.8.5:

  • Bumps zutil-version in caller workflows.
  • Copies bootstrapper templates (z, z.sh, z.ps1) from release assets.
  • Pins nanvix-version to 0.13.16 in .nanvix/nanvix.toml.

Generated by the Update Zutils workflow.

Copilot AI review requested due to automatic review settings May 15, 2026 01:39
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Syncs the repository’s Nanvix tooling pins to match nanvix/zutils v0.8.5, keeping CI and local bootstrappers aligned with the upstream release and updating the Nanvix runtime version used by builds.

Changes:

  • Bump nanvix-zutil pin to 0.8.5 in the bash and PowerShell bootstrapper wrappers.
  • Update GitHub Actions Nanvix CI workflow inputs to use zutil-version: v0.8.5.
  • Pin .nanvix/nanvix.toml nanvix-version to 0.13.16.
Show a summary per file
File Description
z.sh Updates the pinned nanvix-zutil version used for self-bootstrapping.
z.ps1 Updates the pinned nanvix-zutil version used for self-bootstrapping on Windows.
.nanvix/nanvix.toml Bumps the pinned Nanvix version used by Nanvix builds.
.github/workflows/nanvix-ci.yml Updates CI to run with nanvix-zutil v0.8.5.

Copilot's findings

Tip

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

  • Files reviewed: 4/4 changed files
  • Comments generated: 0

@ppenna ppenna merged commit c60d60a into nanvix/v2025.09.13 May 15, 2026
20 checks passed
@ppenna ppenna deleted the automation/update-zutils-version branch May 15, 2026 01:42
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