Skip to content

Commit 95f0ad1

Browse files
committed
Auto merge of #1573 - RalfJung:rustup, r=RalfJung
rustup; disable opt level >=2 tests due to ICE Cc rust-lang/rust#77564 for the ICE
2 parents 60c1075 + 808032a commit 95f0ad1

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

ci.sh

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

rust-version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
a835b483fe0418b48ca44afb65cd0dd6bad4eb9b
1+
efbaa413061c2a6e52f06f00a60ee7830fcf3ea5

0 commit comments

Comments
 (0)