fix the grcov version (#380)

This commit is contained in:
0g-peterzhb 2025-07-09 20:12:39 +08:00 committed by GitHub
parent d581ad7ba5
commit ac6c2a4c10
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -45,10 +45,13 @@ jobs:
RUSTDOCFLAGS: '-Zprofile -Ccodegen-units=1 -Copt-level=0 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests' RUSTDOCFLAGS: '-Zprofile -Ccodegen-units=1 -Copt-level=0 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests'
- id: coverage - id: coverage
uses: actions-rs/grcov@v0.1 uses: SierraSoftworks/setup-grcov@v1
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
version: 0.9.1
- name: Upload coverage to Codecov - name: Upload coverage to Codecov
uses: codecov/codecov-action@v3 uses: codecov/codecov-action@v4
with: with:
file: ${{ steps.coverage.outputs.report }} file: ${{ steps.coverage.outputs.report }}
# Disable to avoid CI failure as following: # Disable to avoid CI failure as following: