Auto merge of rust-lang#2621 - RalfJung:windows-gnu, r=RalfJung

test on windows-gnu target The windows-gnu target for an open-source windows toolchain is slightly different in some low-level aspects of the standard library, such as TLS handling. So let's separately ensure that this works. (Also tests a 64bit windows target on a windows host, which we didn't have so far.)
RalfJung · Oct 26, 2022 · 2b160e8 · 2b160e8
2 parents 6ce5226 + 3986d06
commit 2b160e8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/tools/miri/ci.sh b/src/tools/miri/ci.sh
@@ -93,6 +93,7 @@ case $HOST_TARGET in
     ;;
   i686-pc-windows-msvc)
     MIRI_TEST_TARGET=x86_64-unknown-linux-gnu run_tests
+    MIRI_TEST_TARGET=x86_64-pc-windows-gnu run_tests
     ;;
   *)
     echo "FATAL: unknown OS"