diff --git a/.travis.yml b/.travis.yml index 86577702e96d..97f1da545be4 100644 --- a/.travis.yml +++ b/.travis.yml @@ -16,9 +16,9 @@ script: xargo/build.sh - | # Test plain miri - cargo build --locked --release --all-features && - cargo test --locked --release --all-features --all && - cargo install --locked --all-features + cargo build --release --all-features && + cargo test --release --all-features --all && + cargo install --all-features - | # Test cargo miri cd cargo-miri-test && @@ -27,11 +27,11 @@ script: cd .. - | # and run all tests with full mir - MIRI_SYSROOT=~/.xargo/HOST cargo test --locked --release + MIRI_SYSROOT=~/.xargo/HOST cargo test --release - | # test that the rustc_tests binary compiles cd rustc_tests && - cargo build --locked --release && + cargo build --release && cd .. notifications: email: