Merge remote-tracking branch 'upstream/master' into merge_master

gap-packages · Jun 19, 2024 · 0ada415 · 0ada415
2 parents 7fbadd0 + 572fcf9
commit 0ada415
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -42,7 +42,9 @@ jobs:
           GAP_TESTFILE: tst/testall.g
           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: