debug windows rebuild issue

ci/ci.sh

@@ -57,7 +57,7 @@ function run_tests {
   if [ -n "${GC_STRESS-}" ]; then
     time MIRIFLAGS="${MIRIFLAGS-} -Zmiri-provenance-gc=1" ./miri test
   else
-    time ./miri test
+    time ./miri test dep
   fi
 
   ## advanced tests
@@ -74,7 +74,7 @@ function run_tests {
     # Also run some many-seeds tests. 64 seeds means this takes around a minute per test.
     # (Need to invoke via explicit `bash -c` for Windows.)
     time for FILE in tests/many-seeds/*.rs; do
-      MIRI_SEEDS=$MANY_SEEDS ./miri many-seeds "$BASH" -c "./miri run '$FILE'"
+      MIRI_SEEDS=$MANY_SEEDS ./miri many-seeds "$BASH" -c "CARGO_LOG=cargo::core::compiler::fingerprint=trace ./miri run -v '$FILE'"
     done
   fi
   if [ -n "${TEST_BENCH-}" ]; then
@@ -166,7 +166,7 @@ case $HOST_TARGET in
     # Host
     # Only smoke-test `many-seeds`; 64 runs of just the scoped-thread-leak test take 15min here!
     # See <https://github.com/rust-lang/miri/issues/3509>.
-    GC_STRESS=1 MIR_OPT=1 MANY_SEEDS=1 TEST_BENCH=1 run_tests
+    MANY_SEEDS=16 run_tests
     # Extra tier 1
     # We really want to ensure a Linux target works on a Windows host,
     # and a 64bit target works on a 32bit host.