Skip to content

Commit

Permalink
skip Miri tests if the setup fails
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed May 2, 2019
1 parent 7e79b0c commit 419f2ac
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions ci/miri.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,6 @@ set -ex
export CARGO_NET_RETRY=5
export CARGO_NET_TIMEOUT=10

if rustup component add miri ; then
cargo miri setup
if rustup component add miri && cargo miri setup ; then
cargo miri test -- -- -Zunstable-options --exclude-should-panic
fi

0 comments on commit 419f2ac

Please sign in to comment.