CI: add Codecov token

fingolfin · fingolfin · commit 5fa891db02d7 · 2024-06-15T02:54:30.000+02:00
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -42,7 +42,9 @@ jobs:
         with:
           only-needed: true
       - uses: gap-actions/process-coverage@v2
-      - uses: codecov/codecov-action@v3
+      - uses: codecov/codecov-action@v4
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
 
   # The documentation job
   manual:
