Do not run perf tests in parallel

zhassan-aws · zhassan-aws · commit 6af3e38a7d68 · 2024-05-13T11:18:56.000-07:00
diff --git a/scripts/kani-perf.sh b/scripts/kani-perf.sh
@@ -27,7 +27,7 @@ done
 suite="perf"
 mode="cargo-kani-test"
 echo "Check compiletest suite=$suite mode=$mode"
-cargo run -p compiletest -- --suite $suite --mode $mode --no-fail-fast
+RUST_TEST_THREADS=1 cargo run -p compiletest -- --suite $suite --mode $mode --no-fail-fast
 exit_code=$?
 
 echo "Cleaning up..."
