[GitHub] Use Codecov token when uploading results.

The docs say this is not needed for public repositories, but they recommend using it due to GitHub rate-limiting, at https://community.codecov.com/t/upload-issues-unable-to-locate-build-via-github-actions-api/3954
mysociety · Feb 1, 2024 · f97aebd · f97aebd
1 parent aa8dd73
commit f97aebd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -77,3 +77,5 @@ jobs:
           fail_ci_if_error: true
         attempt_limit: 5
         attempt_delay: 10000
+      env:
+        CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}