Skip to content

Comments

Coverage: increase percentage precision#660

Merged
AlexWaygood merged 2 commits intopython:mainfrom
brianschubert:coverage-precision
Aug 25, 2025
Merged

Coverage: increase percentage precision#660
AlexWaygood merged 2 commits intopython:mainfrom
brianschubert:coverage-precision

Conversation

@brianschubert
Copy link
Contributor

Add some extra digits to the coverage percentages so that smaller changes are more visible.

This only affects what gets printed by coverage commands in the CI. The actual coverage measurements and the PR comment appearance are unaffected.

Sample: before after

@AlexWaygood AlexWaygood merged commit d372913 into python:main Aug 25, 2025
23 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants