CI: update to codecov/codecov-action@v4 (#965)

Same as oscar-system/Oscar.jl#3334
oscar-system · Feb 22, 2024 · c04afbb · c04afbb
1 parent fb0520e
commit c04afbb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -82,7 +82,9 @@ jobs:
 
       - name: "Upload coverage data to Codecov"
         continue-on-error: true
-        uses: codecov/codecov-action@v3
+        uses: codecov/codecov-action@v4
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
 
   docs:
     name: "Documentation"