Auto merge of #1573 - RalfJung:rustup, r=RalfJung

rustup; disable opt level >=2 tests due to ICE

Cc https://github.com/rust-lang/rust/issues/77564 for the ICE
This commit is contained in:
bors 2020-10-05 08:31:18 +00:00
commit 95f0ad191b
2 changed files with 3 additions and 2 deletions

3
ci.sh
View file

@ -25,7 +25,8 @@ function run_tests {
./miri test --locked
if ! [ -n "${MIRI_TEST_TARGET+exists}" ]; then
# Only for host architecture: tests with MIR optimizations
MIRIFLAGS="-Z mir-opt-level=3" ./miri test --locked
#FIXME: Only testing opt level 1 due to <https://github.com/rust-lang/rust/issues/77564>.
MIRIFLAGS="-Z mir-opt-level=1" ./miri test --locked
fi
# "miri test" has built the sysroot for us, now this should pass without
# any interactive questions.

View file

@ -1 +1 @@
a835b483fe0418b48ca44afb65cd0dd6bad4eb9b
efbaa413061c2a6e52f06f00a60ee7830fcf3ea5