From fa94dbe8f37084070c5234b84f924a7699ced75b Mon Sep 17 00:00:00 2001
From: Anant Thazhemadam <anant.thazhemadam@gmail.com>
Date: Fri, 1 Mar 2024 14:28:56 +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 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 4d2c5ae..7397518 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -36,3 +36,5 @@ jobs:
       - uses: codecov/codecov-action@v4
         with:
           file: lcov.info
+          token: ${{ secrets.CODECOV_TOKEN }}
+          fail_ci_if_error: true