ci

rsk0315 · May 3, 2024 · db766fa · db766fa
1 parent 5e11e55
commit db766fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/ci-test.zsh b/scripts/ci-test.zsh
@@ -42,7 +42,7 @@ cargo_test() {
             out "$dir" "$crate" "$t" doc "$event" >>$json
 
             local miri_test_name
-            if RUSTFLAGS=-Dunsafe_code cargo build --release; then
+            if RUSTFLAGS=-Dunsafe_code cargo build --release --manifest-path=$toml; then
                 # If it has no unsafety, we do not have to test against Miri.
                 miri_test_name=()
             else