Repository navigation

Require 80% coverage on the lines a pull request changes, with diff-cover - #4200

Merged

anth-volk merged 12 commits into

quality/diff-coverage

Nov 5, 2026

Merged

Require 80% coverage on the lines a pull request changes, with diff-cover#4200
anth-volk merged 12 commits into
masterfrom
quality/diff-coverage

Commits on Nov 5, 2026
- Test that pull requests' changed lines are 80% covered (failing)
  
  anth-volk
  and
  claude
  committed
  3c7b721
- Require 80% coverage on the lines a pull request changes
  
  anth-volk
  and
  claude
  committed
  2f75f03
- Merge origin/quality/codecov-flags into quality/diff-coverage
  
  anth-volk
  and
  claude
  committed
  6b4bd66
- Merge origin/quality/codecov-flags into quality/diff-coverage
  
  anth-volk
  and
  claude
  committed
  9581802
- Test diff-cover's base, unimported modules and type-only imports (failing)
  
  anth-volk
  and
  claude
  committed
  72485ef
- Measure only the pull request's lines, every module, and code that runs
  
  anth-volk
  and
  claude
  committed
  1eda328
- Test reports from another checkout and every pragma spelling (failing)
  
  anth-volk
  and
  claude
  committed
  d91472a
- Record relative paths and coverage.py's whole pragma pattern
  
  anth-volk
  and
  claude
  committed
  abbfd7c
- Test that stubs don't count and a mention of TYPE_CHECKING does (failing)
  
  anth-volk
  and
  claude
  committed
  7293515
- Anchor the TYPE_CHECKING exclusion and exclude stub bodies
  
  anth-volk
  and
  claude
  committed
  eedee59
- Merge origin/quality/codecov-flags into quality/diff-coverage
  
  anth-volk
  and
  claude
  committed
  f983267
- Merge master into quality/diff-coverage
  
  anth-volk
  and
  claude
  committed
  8ab6df6