From 901152bd930447720ca4e738a10ffd878f401a53 Mon Sep 17 00:00:00 2001
From: Bronek Kozicki <brok@incorrekt.com>
Date: Thu, 25 Jan 2024 00:46:24 +0000
Subject: [PATCH] chore: retry codecov upload (#4896)

Update to #4849, using a workaround for spurious codecov upload errors.

Spurious codecov upload errors are expected in public repos which rely
on PRs via forks. Retrying uploads is a decent and easy workaround.
---
 .github/workflows/nix.yml | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
index 02fcc742b6c..b494b88718c 100644
--- a/.github/workflows/nix.yml
+++ b/.github/workflows/nix.yml
@@ -222,9 +222,13 @@ jobs:
           path: coverage.xml
           retention-days: 30
       - name: upload coverage report
-        uses: codecov/codecov-action@v3
+        uses: wandalen/wretry.action@v1.3.0
         with:
-          files: coverage.xml
-          fail_ci_if_error: true
-          verbose: true
-          token: ${{ secrets.CODECOV_TOKEN }}
+          action: codecov/codecov-action@v3
+          with: |
+            files: coverage.xml
+            fail_ci_if_error: true
+            verbose: true
+            token: ${{ secrets.CODECOV_TOKEN }}
+          attempt_limit: 5
+          attempt_delay: 35000 # in milliseconds