user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

windows ci: run many-seeds test less often

Browse source
This commit is contained in:
Ralf Jung 2024-03-31 09:45:38 +02:00
parent 9395e1fa6f
commit 836ea71d05
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tools/miri/ci/ci.sh
View file

@ -162,7 +162,8 @@ case $HOST_TARGET in
;;
i686-pc-windows-msvc)
# Host
GC_STRESS=1 MIR_OPT=1 MANY_SEEDS=64 TEST_BENCH=1 run_tests
# Only smoke-test `many-seeds`; 64 runs take 15min here!
GC_STRESS=1 MIR_OPT=1 MANY_SEEDS=1 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.