From 7b275d31f642549599704877dc330bcc61be8dff Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Thu, 9 Jul 2026 12:41:34 +0000
Subject: [PATCH] [ci] E: Pin nanvix to v0.19.9

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

diff --git a/.nanvix/nanvix.toml b/.nanvix/nanvix.toml
index 581283b40e..49f7f57553 100644
--- a/.nanvix/nanvix.toml
+++ b/.nanvix/nanvix.toml
@@ -1,7 +1,7 @@
 [package]
 name = "sqlite"
 version = "3.49.0"
-nanvix-version = "0.17.84"
+nanvix-version = "0.19.9"
 
 [builds]
 [builds.matrix]