diff options
Diffstat (limited to 'vendor/arrayvec/ci/miri.sh')
| -rw-r--r-- | vendor/arrayvec/ci/miri.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/vendor/arrayvec/ci/miri.sh b/vendor/arrayvec/ci/miri.sh deleted file mode 100644 index 6b95c2d9..00000000 --- a/vendor/arrayvec/ci/miri.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/usr/bin/env sh - -set -ex - -export CARGO_NET_RETRY=5 -export CARGO_NET_TIMEOUT=10 - -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 default "$MIRI_NIGHTLY" - -rustup component add miri -cargo miri setup - -cargo miri test |