diff --git a/.travis.yml b/.travis.yml index 94c65fb..96055fd 100644 --- a/.travis.yml +++ b/.travis.yml @@ -16,9 +16,13 @@ matrix: script: - cargo build - cargo build --features small - - rust: nightly - name: Miri - script: - - rustup component add miri || travis_terminate 0 + - name: Miri + install: + - 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 set profile minimal + - rustup default "$MIRI_NIGHTLY" + - rustup component add miri - cargo miri setup + script: - cargo miri test