• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1#!/usr/bin/bash
2
3set -ex
4
5# Clean out our target dir, which may have artifacts compiled by a version of
6# rust different from the one we're about to download.
7cargo clean
8
9# Install and run the latest version of nightly where miri built successfully.
10# Taken from: https://github.com/rust-lang/miri#running-miri-on-ci
11
12MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
13echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
14rustup default "$MIRI_NIGHTLY"
15
16rustup component add miri
17cargo miri setup
18
19cargo miri test --verbose
20cargo miri test --verbose --features union
21cargo miri test --verbose --all-features
22