ci: Fail coverage job if the coverage report can't be uploaded (#1515)

2023-02-16 09:36:43 +00:00
parent abef9fae1a
commit 5abab932db
1 changed files with 4 additions and 0 deletions
@@ -50,3 +50,7 @@ jobs:

    - name: Upload to codecov.io
      uses: codecov/codecov-action@v3
+      with:
+        # The upload sometimes fails due to https://github.com/codecov/codecov-action/issues/837.
+        # To make sure that the failure gets flagged clearly in the UI, fail the action.
+        fail_ci_if_error: true