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

bors · bors · commit e1842bac41b6 · 2022-11-27T12:45:34.000Z
run_tests_minimal: actually run the smoke test on the desired target
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
 }

Original file line number	Diff line number	Diff line change
`@@ -88,7 +88,7 @@ function run_tests_minimal {`
`88`	`88`	`./miri test -- "$@"`
`89`	`89`
`90`	`90`	`# Ensure that a small smoke test of cargo-miri works.`
`91`		`- cargo miri run --manifest-path test-cargo-miri/no-std-smoke/Cargo.toml`
	`91`	`+ cargo miri run --manifest-path test-cargo-miri/no-std-smoke/Cargo.toml --target ${MIRI_TEST_TARGET-$HOST_TARGET}`
`92`	`92`
`93`	`93`	`endgroup`
`94`	`94`	`}`