Fix Codecov CI: add secret token

mirage · Jul 22, 2024 · 69deecf · 69deecf
1 parent 7186af2
commit 69deecf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -48,4 +48,5 @@ jobs:
       - name: Send coverage report to Codecov
         run: opam exec -- bisect-ppx-report send-to Codecov
         env:
+          CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
           PULL_REQUEST_NUMBER: ${{ github.event.number }}