Skip to content

Commit b37a05b

Browse files
committed
ci: Rewrap the command in miri.sh
1 parent ccd09c4 commit b37a05b

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

ci/miri.sh

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,5 +14,9 @@ targets=(
1414
)
1515
for target in "${targets[@]}"; do
1616
# Only run the `mem` tests to avoid this taking too long.
17-
cargo miri test --manifest-path builtins-test/Cargo.toml --features no-asm --target "$target" -- mem
17+
cargo miri test \
18+
--manifest-path builtins-test/Cargo.toml \
19+
--features no-asm \
20+
--target "$target" \
21+
-- mem
1822
done

0 commit comments

Comments
 (0)