]>
Commit | Line | Data |
---|---|---|
f035d41b XL |
1 | set -ex |
2 | ||
5869c6ff | 3 | # Install Miri. |
f035d41b XL |
4 | MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri) |
5 | echo "Installing latest nightly with Miri: $MIRI_NIGHTLY" | |
6 | rustup default "$MIRI_NIGHTLY" | |
f035d41b | 7 | rustup component add miri |
f035d41b | 8 | |
5869c6ff | 9 | # Run tests. |
f035d41b XL |
10 | cargo miri test |
11 | cargo miri test --all-features | |
12 | ||
13 | # Restore old state in case Travis uses this cache for other jobs. | |
14 | rustup default nightly |