Update miri_tb.sh

al8n · Oct 26, 2024 · 8bd96e0 · 8bd96e0
1 parent 5aaba5b
commit 8bd96e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/miri_tb.sh b/ci/miri_tb.sh
@@ -28,5 +28,5 @@ cargo miri setup
 export MIRIFLAGS="-Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-tree-borrows -Zmiri-ignore-leaks"
 export RUSTFLAGS="--cfg test_$CONFIG_FLAGS"
 
-cargo miri test --tests --target $TARGET --lib 2>&1 | ts -i '%.s  '
+cargo miri test --tests --target $TARGET --lib -- --test-threads 1 2>&1 | ts -i '%.s  '