From 283f3ff620c96c8407b9b4b88467fb78906ea7fe Mon Sep 17 00:00:00 2001
From: Michael Vines <mvines@gmail.com>
Date: Mon, 13 Apr 2020 21:09:26 -0700
Subject: [PATCH] Fail coverage faster in CI

---
 scripts/coverage.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/coverage.sh b/scripts/coverage.sh
index 96c71055e..c1bfe0e8f 100755
--- a/scripts/coverage.sh
+++ b/scripts/coverage.sh
@@ -58,6 +58,9 @@ else
   test_status=$?
   echo "Failed: $test_status"
   echo "^^^ +++"
+  if [[ -n $CI ]]; then
+    exit $test_status
+  fi
 fi
 touch target/cov/after-test