From 46f0f28c2d589b1220c7914aadef3e0abb0222a2 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Thu, 14 May 2026 15:15:33 +0000
Subject: [PATCH] [ci] E: Pin nanvix to v0.13.13

---
 .nanvix/nanvix.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.nanvix/nanvix.toml b/.nanvix/nanvix.toml
index 4e1726e3acddbb..8d2290c6847770 100644
--- a/.nanvix/nanvix.toml
+++ b/.nanvix/nanvix.toml
@@ -1,7 +1,7 @@
 [package]
 name = "cpython"
 version = "3.12.3"
-nanvix-version = "0.12.552"
+nanvix-version = "0.13.13"
 
 [builds]
 [builds.matrix]