File tree 2 files changed +20
-2
lines changed
2 files changed +20
-2
lines changed Original file line number Diff line number Diff line change 1
1
language : rust
2
2
rust :
3
- - 1.20 .0
3
+ - 1.36 .0
4
4
- nightly
5
5
- beta
6
6
- stable
@@ -11,4 +11,5 @@ script: |
11
11
([ $TRAVIS_RUST_VERSION != nightly ] || cargo check --verbose --no-default-features) &&
12
12
([ $TRAVIS_RUST_VERSION != nightly ] || cargo test --verbose --features union) &&
13
13
([ $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 ./script/run_miri.sh)
Original file line number Diff line number Diff line change
1
+ #! /usr/bin/bash
2
+
3
+ set -ex
4
+
5
+ # Install and run the latest version of nightly where miri built successfully.
6
+ # Taken from: https://github.com/rust-lang/miri#running-miri-on-ci
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 --verbose -- -- -Zunstable-options --exclude-should-panic
16
+ cargo miri test --verbose --features union -- -- -Zunstable-options --exclude-should-panic
17
+ cargo miri test --verbose --all-features -- -- -Zunstable-options --exclude-should-panic
You can’t perform that action at this time.
0 commit comments