diff --git a/ci/miri.sh b/ci/miri.sh index 88d2b6a..b84d966 100755 --- a/ci/miri.sh +++ b/ci/miri.sh @@ -1,11 +1,9 @@ #!/bin/bash set -e -MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri) -echo "Installing latest nightly with Miri: $MIRI_NIGHTLY" -rustup set profile minimal -rustup default "$MIRI_NIGHTLY" -rustup component add miri +rustup toolchain install nightly --component miri +rustup override set nightly +cargo miri setup cargo miri test cargo miri test --target mips64-unknown-linux-gnuabi64