opt-level 3 is clean again :)
This commit is contained in:
parent
639057e04e
commit
dae575c38f
3
ci.sh
3
ci.sh
@ -25,8 +25,7 @@ function run_tests {
|
||||
./miri test --locked
|
||||
if ! [ -n "${MIRI_TEST_TARGET+exists}" ]; then
|
||||
# Only for host architecture: tests with MIR optimizations
|
||||
# FIXME: only testing level 2 because of <https://github.com/rust-lang/rust/issues/76432>.
|
||||
MIRIFLAGS="-Z mir-opt-level=2" ./miri test --locked
|
||||
MIRIFLAGS="-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.
|
||||
|
@ -1 +1 @@
|
||||
41507ed0d57eba71adc20a021a19b64322162f04
|
||||
a6008fac97f81a3fc51668b0c7fa0e2e6f2a599b
|
||||
|
Loading…
Reference in New Issue
Block a user