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

always lock on CI

Browse source
This commit is contained in:
Ralf Jung 2020-05-11 11:19:26 +02:00
parent dec0bf15f6
commit 131bdf88a7
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ci.sh
View file

@ -25,7 +25,7 @@ function run_tests {
./miri test --locked
if ! [ -n "${MIRI_TEST_TARGET+exists}" ]; then
# Only for host architecture: tests with MIR optimizations
MIRI_TEST_FLAGS="-Z mir-opt-level=3" ./miri test
MIRI_TEST_FLAGS="-Z mir-opt-level=3" ./miri test --locked
fi
# "miri test" has built the sysroot for us, now this should pass without
# any interactive questions.