disable bench tests on Windows

Author: RalfJung

ci/ci.sh

@@ -63,7 +63,11 @@ function run_tests {
     done
 
     # Check that the benchmarks build and run, but without actually benchmarking.
-    HYPERFINE="bash -c" ./miri bench
+    # But only do this on Linux; Windows is too cursed for this to work.
+    # (Somehow WSL is getting in the way, see <https://github.com/rust-lang/miri/pull/3402>.)
+    if [ "$HOST_TARGET" = x86_64-unknown-linux-gnu ]; then
+      HYPERFINE="bash -c" ./miri bench
+    fi
   fi
 
   ## test-cargo-miri