Fix codecov integration to use upload token

... so that it works more reliably or even at all...
gap-packages · Jun 15, 2024 · 827f915 · 827f915
1 parent 26c8bae
commit 827f915
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -42,6 +42,8 @@ jobs:
  only-needed: true
  - uses: gap-actions/process-coverage@v2
  - uses: codecov/codecov-action@v4
+ with:
+ token: ${{ secrets.CODECOV_TOKEN }}
 
  # The documentation job
  manual: