mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

speed up Windows runner: don't run GC_STRESS test

Browse Source
This commit is contained in:
Ralf Jung 2024-05-04 10:58:52 +02:00
parent 38715f714f
commit d130eaac1f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/ci/ci.sh
View File

@ -154,9 +154,9 @@ case $HOST_TARGET in
;; ;;
i686-pc-windows-msvc) i686-pc-windows-msvc)
# Host # 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.) # (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 # Extra tier 1
# We really want to ensure a Linux target works on a Windows host, # We really want to ensure a Linux target works on a Windows host,
# and a 64bit target works on a 32bit host. # and a 64bit target works on a 32bit host.