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.

Author: thazhemadam

.github/workflows/CI.yml

@@ -38,11 +38,13 @@ jobs:
             ${{ runner.os }}-test-
             ${{ runner.os }}-
       - run: >
-          sudo apt-get install --no-install-recommends python3-setuptools python3-wheel
-          && pip3 install sympy
+          sudo apt-get install --no-install-recommends python3-setuptools python3-wheel && pip3 install sympy
+
       - uses: julia-actions/julia-buildpkg@v1
       - uses: julia-actions/julia-runtest@v1
       - uses: julia-actions/julia-processcoverage@v1
       - uses: codecov/codecov-action@v4
         with:
           file: lcov.info
+          token: ${{ secrets.CODECOV_TOKEN }}
+          fail_ci_if_error: true

.github/workflows/Documentation.yml

@@ -27,3 +27,5 @@ jobs:
       - uses: codecov/codecov-action@v4
         with:
           file: lcov.info
+          token: ${{ secrets.CODECOV_TOKEN }}
+          fail_ci_if_error: true