From 4949ec5c233ac74880ca555b81d1666425828551 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 2 May 2019 09:55:54 +0200 Subject: [PATCH] skip miri tests if miri setup fails --- utils/ci/miri.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/utils/ci/miri.sh b/utils/ci/miri.sh index 0d8cf2a5ade..c1ff28647c7 100644 --- a/utils/ci/miri.sh +++ b/utils/ci/miri.sh @@ -1,8 +1,6 @@ set -ex -if rustup component add miri ; then - cargo miri setup - +if rustup component add miri && cargo miri setup ; then cargo miri test --no-default-features -- -Zmiri-seed=42 -- -Zunstable-options --exclude-should-panic cargo miri test --features=serde1,log -- -Zmiri-seed=42 -- -Zunstable-options --exclude-should-panic cargo miri test --manifest-path rand_core/Cargo.toml