Do not run perf tests in parallel

zhassan-aws · May 13, 2024 · 9e1541f · 9e1541f
1 parent a449d17
commit 9e1541f
Showing 1 changed file with 1 addition and 1 deletion.
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..."