Test CI commit with fixed seed

sanket1729 · sanket1729 · commit c65e554fe4f9 · 2023-01-20T18:36:04.000-08:00
diff --git a/ci/cirrus.sh b/ci/cirrus.sh
@@ -39,6 +39,7 @@ file .libs/* || true
 export LOG_COMPILER="$WRAPPER_CMD"
 
 make "$BUILD"
+./tests 32 b4edba6ef5e8284fe52b6b77185e6218
 
 if [ "$BENCH" = "yes" ]
 then
