File tree Expand file tree Collapse file tree 2 files changed +24
-2
lines changed Expand file tree Collapse file tree 2 files changed +24
-2
lines changed Original file line number Diff line number Diff line change 11language : rust
22rust :
3- - 1.20 .0
3+ - 1.36 .0
44 - nightly
55 - beta
66 - stable
@@ -11,4 +11,5 @@ script: |
1111 ([ $TRAVIS_RUST_VERSION != nightly ] || cargo check --verbose --no-default-features) &&
1212 ([ $TRAVIS_RUST_VERSION != nightly ] || cargo test --verbose --features union) &&
1313 ([ $TRAVIS_RUST_VERSION != nightly ] || cargo test --verbose --all-features) &&
14- ([ $TRAVIS_RUST_VERSION != nightly ] || cargo bench --verbose bench)
14+ ([ $TRAVIS_RUST_VERSION != nightly ] || cargo bench --verbose bench) &&
15+ ([ $TRAVIS_RUST_VERSION != nightly ] || bash ./scripts/run_miri.sh)
Original file line number Diff line number Diff line change 1+ #! /usr/bin/bash
2+
3+ set -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.
7+ cargo 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+
12+ MIRI_NIGHTLY=nightly-$( curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
13+ echo " Installing latest nightly with Miri: $MIRI_NIGHTLY "
14+ rustup default " $MIRI_NIGHTLY "
15+
16+ rustup component add miri
17+ cargo miri setup
18+
19+ cargo miri test --verbose -- -- -Zunstable-options --exclude-should-panic
20+ cargo miri test --verbose --features union -- -- -Zunstable-options --exclude-should-panic
21+ cargo miri test --verbose --all-features -- -- -Zunstable-options --exclude-should-panic
You can’t perform that action at this time.
0 commit comments