Update Codecov config

Author: dochang

.circleci/config.yml

@@ -60,7 +60,7 @@ jobs:
             curl --output "${CODECOV}" --create-dirs --location --silent --show-error https://cli.codecov.io/latest/linux/codecov
             chmod +x "${CODECOV}"
 
-            "${CODECOV}" upload-process --file coverage.txt --slug "${CIRCLE_PROJECT_USERNAME}/${CIRCLE_PROJECT_REPONAME}"
+            "${CODECOV}" --verbose upload-process --fail-on-error --file coverage.txt --slug "${CIRCLE_PROJECT_USERNAME}/${CIRCLE_PROJECT_REPONAME}"
             # `CIRCLE_PROJECT_ID` is a UUID, do not use it.
 
 workflows:

.github/workflows/ci.yml

@@ -82,5 +82,6 @@ jobs:
         with:
           files: coverage.txt
           verbose: true
+          fail_ci_if_error: true
         env:
           CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}