ci: update codecov GA

Arakne · Apr 15, 2024 · bea7f2a · bea7f2a
1 parent 97e40b2
commit bea7f2a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -45,10 +45,11 @@ jobs:
         run: mvn --batch-mode --update-snapshots -P '!checkerframework,!checkerframework-jdk8,!checkerframework-jdk9orlater' verify
 
       - name: Upload coverage to Codecov
-        uses: codecov/codecov-action@v3
+        uses: codecov/codecov-action@v4
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
           files: target/site/jacoco/jacoco.xml
+          verbose: true
 
   java_compatibility:
     runs-on: ubuntu-latest