ci: ensure good coverage (codecov)

Fixes #43
MartinBernstorff · Nov 28, 2023 · 45e7734 · 45e7734
1 parent b3f9de1
commit 45e7734
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -41,3 +41,8 @@ jobs:
           refFilterForPush: refs/heads/main
           runCmd:
             make validate_ci
+
+      - name: Upload coverage reports to Codecov
+        uses: codecov/codecov-action@v3
+        env:
+          CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}