From 5abab932db6bf7c03c587fc83b78643a023cf197 Mon Sep 17 00:00:00 2001
From: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>
Date: Thu, 16 Feb 2023 09:36:43 +0000
Subject: [PATCH] ci: Fail coverage job if the coverage report can't be
 uploaded (#1515)

---
 .github/workflows/coverage.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 22773690a..70fa8f056 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -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