From 69deecf3f0b1c0644e18e1adb59eb74d68803230 Mon Sep 17 00:00:00 2001
From: ArthurW <arthur@tarides.com>
Date: Mon, 22 Jul 2024 11:27:27 +0200
Subject: [PATCH] Fix Codecov CI: add secret token

---
 .github/workflows/coverage.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 97e750708b..0c59de8679 100644
--- 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 }}