Add repo-token to codecov

ulrikstrid · Dec 16, 2024 · 6394495 · 6394495
1 parent fe59952
commit 6394495
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check-pr.yml b/.github/workflows/check-pr.yml
@@ -57,7 +57,7 @@ jobs:
         run: nix develop --accept-flake-config -c dune build @runtest --instrument-with bisect_ppx --force
 
       - name: Upload coverage
-        run: nix develop --accept-flake-config -c bisect-ppx-report send-to Codecov
+        run: nix develop --accept-flake-config -c bisect-ppx-report send-to Codecov --repo-token="${{ secrets.CODECOV_TOKEN }}"
 
       - name: Build docs
         run: nix develop --accept-flake-config -c dune build @doc