diff --git a/.github/workflows/scanner-ci.yml b/.github/workflows/scanner-ci.yml index 19e75d4..0860cfe 100644 --- a/.github/workflows/scanner-ci.yml +++ b/.github/workflows/scanner-ci.yml @@ -71,7 +71,7 @@ jobs: run: python scanner/proof/validate_reproducer_markers.py - name: Upload Coverage Report - uses: codecov/codecov-action@v4 + uses: codecov/codecov-action@v7 if: matrix.python-version == '3.11' with: files: coverage.xml