Skip to content

Commit 63a0f04

Browse files
committed
rustup; bring back mir-opt-level 3
1 parent 3e65566 commit 63a0f04

File tree

2 files changed

+2
-3
lines changed

2 files changed

+2
-3
lines changed

ci.sh

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25,8 +25,7 @@ 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-
#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
28+
MIRIFLAGS="-Z mir-opt-level=3" ./miri test --locked
3029
fi
3130
# "miri test" has built the sysroot for us, now this should pass without
3231
# any interactive questions.

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
efbaa413061c2a6e52f06f00a60ee7830fcf3ea5
1+
c9ced8523bbb90561385aab305232f2167228a83

0 commit comments

Comments
 (0)