chore: prepare v0.13.1 release (#1324)

Update workspace version and all dependency references to 0.13.1, populate
CHANGELOG with changes since v0.13.0, update footer links, and regenerate
guest crate Cargo.lock files.

Also pin nightly toolchain for rustfmt to nightly-2026-02-27 to ensure
consistent formatting across CI runners.

Signed-off-by: danbugs <danilochiarlone@gmail.com>

Author: danbugs

CHANGELOG.md

@@ -4,6 +4,18 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
 
 ## [Prerelease] - Unreleased
 
+## [v0.13.1] - 2026-03-19
+
+### Fixed
+* Explicitly error out on host-guest version mismatch by @ludfjig in https://github.com/hyperlight-dev/hyperlight/pull/1252
+
+### Added
+* Hardware interrupt support by @danbugs in https://github.com/hyperlight-dev/hyperlight/pull/1272
+* Copy-on-write file mapping support with labels by @simongdavies in https://github.com/hyperlight-dev/hyperlight/pull/1320, https://github.com/hyperlight-dev/hyperlight/pull/1322
+* Re-export host functions from the `hyperlight_host` package by @jsturtevant in https://github.com/hyperlight-dev/hyperlight/pull/1314
+* Make `map_region` public by @jsturtevant in https://github.com/hyperlight-dev/hyperlight/pull/1293
+* Nanvix: `GuestCounter` API and i686 guest layout behind `nanvix-unstable` feature flag by @danbugs in https://github.com/hyperlight-dev/hyperlight/pull/1270, https://github.com/hyperlight-dev/hyperlight/pull/1271
+
 ## [v0.13.0] - 2026-03-06
 
 ### Fixed
@@ -254,7 +266,8 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
 The Initial Hyperlight Release 🎉 
 
 
-[Prerelease]: <https://github.com/hyperlight-dev/hyperlight/compare/v0.13.0..HEAD>
+[Prerelease]: <https://github.com/hyperlight-dev/hyperlight/compare/v0.13.1..HEAD>
+[v0.13.1]: <https://github.com/hyperlight-dev/hyperlight/compare/v0.13.0...v0.13.1>
 [v0.13.0]: <https://github.com/hyperlight-dev/hyperlight/compare/v0.12.0...v0.13.0>
 [v0.12.0]: <https://github.com/hyperlight-dev/hyperlight/compare/v0.11.0...v0.12.0>
 [v0.11.0]: <https://github.com/hyperlight-dev/hyperlight/compare/v0.10.0...v0.11.0>

Cargo.lock

@@ -27,7 +27,7 @@ exclude = [
 ]
 
 [workspace.package]
-version = "0.13.0"
+version = "0.13.1"
 edition = "2024"
 rust-version = "1.89"
 license = "Apache-2.0"
@@ -36,15 +36,15 @@ repository = "https://github.com/hyperlight-dev/hyperlight"
 readme = "README.md"
 
 [workspace.dependencies]
-hyperlight-common = { path = "src/hyperlight_common", version = "0.13.0", default-features = false }
-hyperlight-host = { path = "src/hyperlight_host", version = "0.13.0", default-features = false }
-hyperlight-guest = { path = "src/hyperlight_guest", version = "0.13.0", default-features = false }
-hyperlight-guest-bin = { path = "src/hyperlight_guest_bin", version = "0.13.0", default-features = false }
-hyperlight-guest-macro = { path = "src/hyperlight_guest_macro", version = "0.13.0", default-features = false }
+hyperlight-common = { path = "src/hyperlight_common", version = "0.13.1", default-features = false }
+hyperlight-host = { path = "src/hyperlight_host", version = "0.13.1", default-features = false }
+hyperlight-guest = { path = "src/hyperlight_guest", version = "0.13.1", default-features = false }
+hyperlight-guest-bin = { path = "src/hyperlight_guest_bin", version = "0.13.1", default-features = false }
+hyperlight-guest-macro = { path = "src/hyperlight_guest_macro", version = "0.13.1", default-features = false }
 hyperlight-testing = { path = "src/hyperlight_testing", default-features = false }
-hyperlight-guest-tracing = { path = "src/hyperlight_guest_tracing", version = "0.13.0", default-features = false }
-hyperlight-component-util = { path = "src/hyperlight_component_util", version = "0.13.0", default-features = false }
-hyperlight-component-macro = { path = "src/hyperlight_component_macro", version = "0.13.0", default-features = false }
+hyperlight-guest-tracing = { path = "src/hyperlight_guest_tracing", version = "0.13.1", default-features = false }
+hyperlight-component-util = { path = "src/hyperlight_component_util", version = "0.13.1", default-features = false }
+hyperlight-component-macro = { path = "src/hyperlight_component_macro", version = "0.13.1", default-features = false }
 
 [workspace.lints.rust]
 unsafe_op_in_unsafe_fn = "deny"

Cargo.toml

@@ -5,6 +5,7 @@ set dotenv-load := true
 
 set-env-command := if os() == "windows" { "$env:" } else { "export " }
 bin-suffix := if os() == "windows" { ".bat" } else { ".sh" }
+nightly-toolchain := "nightly-2026-02-27"
 
 ################
 ### cross-rs ###
@@ -295,25 +296,25 @@ check:
     {{ cargo-cmd }} check -p hyperlight-host --features hw-interrupts  {{ target-triple-flag }}
 
 fmt-check: (ensure-nightly-fmt)
-    cargo +nightly fmt --all -- --check
-    cargo +nightly fmt --manifest-path src/tests/rust_guests/simpleguest/Cargo.toml -- --check
-    cargo +nightly fmt --manifest-path src/tests/rust_guests/dummyguest/Cargo.toml -- --check
-    cargo +nightly fmt --manifest-path src/tests/rust_guests/witguest/Cargo.toml -- --check
-    cargo +nightly fmt --manifest-path src/hyperlight_guest_capi/Cargo.toml -- --check
+    cargo +{{nightly-toolchain}} fmt --all -- --check
+    cargo +{{nightly-toolchain}} fmt --manifest-path src/tests/rust_guests/simpleguest/Cargo.toml -- --check
+    cargo +{{nightly-toolchain}} fmt --manifest-path src/tests/rust_guests/dummyguest/Cargo.toml -- --check
+    cargo +{{nightly-toolchain}} fmt --manifest-path src/tests/rust_guests/witguest/Cargo.toml -- --check
+    cargo +{{nightly-toolchain}} fmt --manifest-path src/hyperlight_guest_capi/Cargo.toml -- --check
 
 [private]
 ensure-nightly-fmt:
-    {{ if os() == "windows" { "if (-not (rustup +nightly component list | Select-String 'rustfmt.*installed')) { rustup component add rustfmt --toolchain nightly }" } else { "rustup +nightly component list | grep -q 'rustfmt.*installed' || rustup component add rustfmt --toolchain nightly" } }}
+    {{ if os() == "windows" { "if (-not (rustup +"+nightly-toolchain+" component list | Select-String 'rustfmt.*installed')) { rustup component add rustfmt --toolchain "+nightly-toolchain+" }" } else { "rustup +"+nightly-toolchain+" component list | grep -q 'rustfmt.*installed' || rustup component add rustfmt --toolchain "+nightly-toolchain } }}
 
 check-license-headers:
     ./dev/check-license-headers.sh
 
 fmt-apply: (ensure-nightly-fmt)
-    cargo +nightly fmt --all
-    cargo +nightly fmt --manifest-path src/tests/rust_guests/simpleguest/Cargo.toml
-    cargo +nightly fmt --manifest-path src/tests/rust_guests/dummyguest/Cargo.toml
-    cargo +nightly fmt --manifest-path src/tests/rust_guests/witguest/Cargo.toml
-    cargo +nightly fmt --manifest-path src/hyperlight_guest_capi/Cargo.toml
+    cargo +{{nightly-toolchain}} fmt --all
+    cargo +{{nightly-toolchain}} fmt --manifest-path src/tests/rust_guests/simpleguest/Cargo.toml
+    cargo +{{nightly-toolchain}} fmt --manifest-path src/tests/rust_guests/dummyguest/Cargo.toml
+    cargo +{{nightly-toolchain}} fmt --manifest-path src/tests/rust_guests/witguest/Cargo.toml
+    cargo +{{nightly-toolchain}} fmt --manifest-path src/hyperlight_guest_capi/Cargo.toml
 
 clippy target=default-target: (witguest-wit)
     {{ cargo-cmd }} clippy --all-targets --all-features --profile={{ if target == "debug" { "dev" } else { target } }}  {{ target-triple-flag }} -- -D warnings