test on windows-gnu target

RalfJung · RalfJung · commit 6d120d0a3635 · 2022-10-26T14:01:11.000+02:00
diff --git a/ci.sh b/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"
