From 94459deb94fbccea7096923f8c3d7b5ae05a35a2 Mon Sep 17 00:00:00 2001 From: Greg Fitzgerald Date: Fri, 28 Sep 2018 19:47:44 -0600 Subject: [PATCH] Disable codecov.io reporting --- 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 059f7d8dad..c7caf92b46 100755 --- a/ci/test-nightly.sh +++ b/ci/test-nightly.sh @@ -37,5 +37,7 @@ ls -l target/cov/report/index.html if [[ -z "$CODECOV_TOKEN" ]]; then echo CODECOV_TOKEN undefined else - bash <(curl -s https://codecov.io/bash) -x 'llvm-cov-7 gcov' + # TODO: Fix this. + true + #bash <(curl -s https://codecov.io/bash) -x 'llvm-cov-7 gcov' fi