Merge 0271d89 into 7d78e5d

TuringLang · Feb 1, 2024 · ddcccdf · ddcccdf
2 parents 7d78e5d + 0271d89
commit ddcccdf
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -41,8 +41,10 @@ jobs:
           coverage: ${{ matrix.version == '1' && matrix.os == 'ubuntu-latest' }}
       - uses: julia-actions/julia-processcoverage@v1
         if: matrix.version == '1' && matrix.os == 'ubuntu-latest'
-      - uses: codecov/codecov-action@v3
+      - uses: codecov/codecov-action@v4
         if: matrix.version == '1' && matrix.os == 'ubuntu-latest'
+        env:
+          CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
         with:
           file: lcov.info
       - uses: coverallsapp/github-action@v2