Disable coverage again :-/

2018-07-18 12:49:29 -07:00
parent 5deb34e5bd
commit fc1dfd86d2
1 changed files with 3 additions and 0 deletions
--- a/ci/test-nightly.sh
+++ b/ci/test-nightly.sh
@ -15,6 +15,9 @@ _ cargo build --verbose --features unstable
 _ cargo test --verbose --features unstable
 _ cargo clippy -- --deny=warnings

+exit 0
+
+# Coverage disabled (see issue #433)
 _ cargo cov test
 _ cargo cov report