diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 9f4cac466d..7e2025f332 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -68,7 +68,7 @@ jobs: run: opam exec -- make coverage - name: Upload coverage to Codecov - uses: codecov/codecov-action@v5 + uses: codecov/codecov-action@v6 with: files: _coverage/coverage.json fail_ci_if_error: false