Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Code coverage improvements #1357

Merged
merged 3 commits into from
Oct 22, 2023
Merged

Code coverage improvements #1357

merged 3 commits into from
Oct 22, 2023

Conversation

bkoelman
Copy link
Member

Exclude obsolete members, prevent usage of stale coverage results in local build.

Closes #1348

QUALITY CHECKLIST

@codecov
Copy link

codecov bot commented Oct 22, 2023

Codecov Report

Merging #1357 (ead8a64) into master (ed1ff0d) will increase coverage by 0.04%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master    #1357      +/-   ##
==========================================
+ Coverage   89.68%   89.73%   +0.04%     
==========================================
  Files         268      268              
  Lines        8802     8795       -7     
  Branches     1526     1523       -3     
==========================================
- Hits         7894     7892       -2     
+ Misses        612      607       -5     
  Partials      296      296              

see 4 files with indirect coverage changes

@bkoelman bkoelman marked this pull request as ready for review October 22, 2023 21:17
@bkoelman bkoelman merged commit 9830302 into master Oct 22, 2023
16 checks passed
@bkoelman bkoelman deleted the coverage branch October 22, 2023 21:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

Review usage of [ExcludeFromCodeCoverage]
1 participant