From 46f5c91fbde19ef23d87d1ee3eec403dae87cc32 Mon Sep 17 00:00:00 2001
From: Anant Thazhemadam <47104651+thazhemadam@users.noreply.github.com>
Date: Fri, 9 Feb 2024 22:47:58 +0530
Subject: [PATCH] ci: explicitly specify token for codecov

Explicitly specify the codecov token to be used (i.e., `CODECOV_TOKEN`), given that the latest v4 release of the codecov action requires it to be able to generate coverage reports.
Additionally, fail CI if coverage reporting fails, since coverage is an important enough metric for us to ensure that it's tracked consistently.
---
 .github/workflows/CI.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 57e591a..49daa86 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -41,4 +41,6 @@ jobs:
       - uses: julia-actions/julia-processcoverage@v1
       - uses: codecov/codecov-action@v4
         with:
-          file: lcov.info
\ No newline at end of file
+          file: lcov.info
+          token: ${{ secrets.CODECOV_TOKEN }}
+          fail_ci_if_error: true