We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 2e5a0dc commit 4788f77Copy full SHA for 4788f77
ci.sh
@@ -23,10 +23,11 @@ function run_tests {
23
fi
24
25
./miri test --locked
26
- if ! [ -n "${MIRI_TEST_TARGET+exists}" ]; then
+ #if ! [ -n "${MIRI_TEST_TARGET+exists}" ]; then
27
# Only for host architecture: tests with MIR optimizations
28
- MIRI_TEST_FLAGS="-Z mir-opt-level=3" ./miri test --locked
29
- fi
+ # FIXME: disabled because of <https://github.com/rust-lang/rust/issues/73609>.
+ #MIRI_TEST_FLAGS="-Z mir-opt-level=3" ./miri test --locked
30
+ #fi
31
# "miri test" has built the sysroot for us, now this should pass without
32
# any interactive questions.
33
${PYTHON:-python3} test-cargo-miri/run-test.py
rust-version
@@ -1 +1 @@
1
-033013cab3a861224fd55f494c8be1cb0349eb49
+1a4e2b6f9c75a0e21722c88a0e3b610d6ffc3ae3
0 commit comments