diff --git a/ci.sh b/ci.sh index 785d7aa5520..0625c255757 100755 --- a/ci.sh +++ b/ci.sh @@ -23,10 +23,11 @@ function run_tests { fi ./miri test --locked - if ! [ -n "${MIRI_TEST_TARGET+exists}" ]; then + #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 --locked - fi + # FIXME: disabled because of . + #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. ${PYTHON:-python3} test-cargo-miri/run-test.py diff --git a/rust-version b/rust-version index f001577e7f0..9f71640a53f 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -033013cab3a861224fd55f494c8be1cb0349eb49 +1a4e2b6f9c75a0e21722c88a0e3b610d6ffc3ae3