diff options
| author | Ralf Jung <post@ralfj.de> | 2024-05-04 10:58:52 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-05-04 11:46:52 +0200 |
| commit | d130eaac1f1aba8adc7a59bb389b21e7766f4be5 (patch) | |
| tree | c3e869cf64c99d675f27256fa4eb62e9218b4e75 | |
| parent | 38715f714faa490759d6e01e6b359b6a54e86ef3 (diff) | |
speed up Windows runner: don't run GC_STRESS test
| -rwxr-xr-x | src/tools/miri/ci/ci.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/ci/ci.sh b/src/tools/miri/ci/ci.sh index c8c24ba5da6..6945b390323 100755 --- a/src/tools/miri/ci/ci.sh +++ b/src/tools/miri/ci/ci.sh @@ -154,9 +154,9 @@ case $HOST_TARGET in ;; i686-pc-windows-msvc) # Host - # With reduced many-seeds count as this is the slowest runner already. + # Without GC_STRESS and with reduced many-seeds count as this is the slowest runner. # (The macOS runner checks windows-msvc with full many-seeds count.) - GC_STRESS=1 MIR_OPT=1 MANY_SEEDS=16 TEST_BENCH=1 run_tests + MIR_OPT=1 MANY_SEEDS=16 TEST_BENCH=1 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. |