Fix Codecov CI: add secret token

mirage · Jul 22, 2024 · 4a514ce · 4a514ce
1 parent 7186af2
commit 4a514ce
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -46,6 +46,7 @@ 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 --verbose --dry-run
         env:
+          CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
           PULL_REQUEST_NUMBER: ${{ github.event.number }}
diff --git a/irmin.opam b/irmin.opam
@@ -37,12 +37,15 @@ depends: [
   "qcheck-alcotest" {with-test}
   "vector" {with-test}
   "odoc" {(< "2.0.1" | > "2.0.2") & with-doc} # See https://github.com/ocaml/odoc/issues/793
-  "bisect_ppx" {dev & >= "2.5.0"}
+  "bisect_ppx" {dev & = "dev"}
 ]
 
 pin-depends: [
   # Fix race in formatters
   [ "alcotest.dev" "git+https://github.com/haesbaert/alcotest#99030be1df12a17fc2a0f3d00b181cd31cf6b0d4" ]
+
+  # Fix Codecov missing upload token
+  [ "bisect_ppx.dev" "git+https://github.com/art-w/bisect_ppx#77ffce22da2eaf0087ce166ca5a83e807c836e79" ]
 ]
 
 conflicts: [