Add Vec proof to check-verifast-proofs.sh CI script

jrey8343 · claude · jrey8343 · commit 97b2ee5a519f · 2026-03-17T11:33:18.000+11:00
Co-Authored-By: Claude Opus 4.6 (1M context) &lt;noreply@anthropic.com&gt;
diff --git a/verifast-proofs/check-verifast-proofs.sh b/verifast-proofs/check-verifast-proofs.sh
@@ -17,4 +17,9 @@ cd alloc
       bash verify.sh
     cd ..
   cd ..
+  cd vec
+    cd mod.rs
+      bash verify.sh
+    cd ..
+  cd ..
 cd ..
