From 88f5e12350db414c5beac65d488f634fe296223a Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 9 Mar 2022 04:29:04 -0500 Subject: [PATCH] update Miri CI config (#534) --- ci/miri.sh | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) 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