Skip to content

Commit da6a18e

Browse files
committed
speed up Windows runner: don't run GC_STRESS test
1 parent 1961b8b commit da6a18e

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/tools/miri/ci/ci.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -154,9 +154,9 @@ case $HOST_TARGET in
154154
;;
155155
i686-pc-windows-msvc)
156156
# Host
157-
# With reduced many-seeds count as this is the slowest runner already.
157+
# Without GC_STRESS and with reduced many-seeds count as this is the slowest runner.
158158
# (The macOS runner checks windows-msvc with full many-seeds count.)
159-
GC_STRESS=1 MIR_OPT=1 MANY_SEEDS=16 TEST_BENCH=1 run_tests
159+
MIR_OPT=1 MANY_SEEDS=16 TEST_BENCH=1 run_tests
160160
# Extra tier 1
161161
# We really want to ensure a Linux target works on a Windows host,
162162
# and a 64bit target works on a 32bit host.

0 commit comments

Comments
 (0)