vendor/arrayvec-0.5.2/ci/miri.sh

   1 #!/usr/bin/env sh
   2
   3 set -ex
   4
   5 export CARGO_NET_RETRY=5
   6 export CARGO_NET_TIMEOUT=10
   7
   8 MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
   9 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
  10 rustup default "$MIRI_NIGHTLY"
  11
  12 rustup component add miri
  13 cargo miri setup
  14
  15 cargo miri test