Fix Codecov CI: add secret token

mirage · Jul 22, 2024 · 89c6c2e · 89c6c2e
1 parent 7186af2
commit 89c6c2e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -46,6 +46,6 @@ jobs:
         run: opam exec -- dune runtest --instrument-with bisect_ppx
 
       - name: Send coverage report to Codecov
-        run: opam exec -- bisect-ppx-report send-to Codecov
+        run: opam exec -- bisect-ppx-report send-to Codecov --repo-token=${{ secrets.CODECOV_TOKEN }}
         env:
           PULL_REQUEST_NUMBER: ${{ github.event.number }}