ci: Bump SMITHRIL_VERSION to v0.1.1 to fix build

misonijnik · misonijnik · commit 65d91dc93142 · 2026-03-16T02:15:28.000+03:00
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -39,7 +39,7 @@ env:
   Z3_VERSION: 4.8.15
   SQLITE_VERSION: 3400100
   BITWUZLA_VERSION: 0.7.0
-  SMITHRIL_VERSION: v0.1.0
+  SMITHRIL_VERSION: v0.1.1
   JSON_VERSION: v3.11.3
   IMMER_VERSION: v0.8.1
 
