Auto merge of #2701 - RalfJung:smoke, r=RalfJung

run_tests_minimal: actually run the smoke test on the desired target
rust-lang · Nov 27, 2022 · e1842ba · e1842ba
2 parents 326efd4 + ab84c6a
commit e1842ba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci.sh b/ci.sh
@@ -88,7 +88,7 @@ function run_tests_minimal {
   ./miri test -- "$@"
 
   # Ensure that a small smoke test of cargo-miri works.
-  cargo miri run --manifest-path test-cargo-miri/no-std-smoke/Cargo.toml
+  cargo miri run --manifest-path test-cargo-miri/no-std-smoke/Cargo.toml --target ${MIRI_TEST_TARGET-$HOST_TARGET}
 
   endgroup
 }