making some language clearer on github-facing things #1758
Merged
Codecov / codecov/patch
succeeded
Jan 9, 2026 in 0s
Coverage not affected when comparing 6a5811c...d0c746e
View this Pull Request on Codecov
Coverage not affected when comparing 6a5811c...d0c746e
Loading