From 502562ffed830f5018d70d90b8cc5187c939d792 Mon Sep 17 00:00:00 2001
From: Michael Vines <mvines@gmail.com>
Date: Fri, 29 Jun 2018 17:00:13 -0700
Subject: [PATCH] Disable coverage until issue #433 is resolved

---
 ci/test-nightly.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ci/test-nightly.sh b/ci/test-nightly.sh
index 512c8d7bf89946..71af64f23d7fe9 100755
--- a/ci/test-nightly.sh
+++ b/ci/test-nightly.sh
@@ -16,7 +16,9 @@ _ cargo test --verbose --features unstable
 _ cargo bench --verbose --features unstable
 
 
-# Coverage ...
+exit 0
+
+# Coverage disabled (see issue #433)
 _ cargo install --force cargo-cov
 _ cargo cov test
 _ cargo cov report