Disable codecov.io reporting

2018-09-28 19:47:44 -06:00 · 2018-09-28 19:47:44 -06:00 · 94459deb94
parent 660af84b8d
commit 94459deb94
1 changed files with 3 additions and 1 deletions
--- 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