library/backtrace/ci/miri-rustup.sh

   1 set -ex
   2
   3 MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
   4 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
   5 rustup set profile minimal
   6 rustup default "$MIRI_NIGHTLY"
   7 rustup component add miri