diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4e33055e8..63efc75d2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -461,6 +461,12 @@ jobs: --workspace \ --lcov --output-path lcov.info + - name: Check diff coverage + if: github.event_name == 'pull_request' + run: | + pip install diff-cover + diff-cover lcov.info --compare-branch=origin/main --fail-under=90 + - name: Generate miri code coverage env: RUSTFLAGS: "--cfg=miri"