Skip to content

Fix code coverage of corelib by updating coverlet#86566

Merged
stephentoub merged 1 commit intodotnet:mainfrom
stephentoub:updatecoverlet
May 22, 2023
Merged

Fix code coverage of corelib by updating coverlet#86566
stephentoub merged 1 commit intodotnet:mainfrom
stephentoub:updatecoverlet

Conversation

@stephentoub
Copy link
Member

Fixes #81835

@ghost
Copy link

ghost commented May 22, 2023

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries
See info in area-owners.md if you want to be subscribed.

Issue Details

Fixes #81835

Author: stephentoub
Assignees: -
Labels:

area-Infrastructure-libraries

Milestone: -

Copy link
Member

@ViktorHofer ViktorHofer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks. It would be good to add CI protection at some point and verify that CoreLib is included in the coverage report.

@stephentoub stephentoub merged commit 1f15489 into dotnet:main May 22, 2023
@stephentoub stephentoub deleted the updatecoverlet branch May 22, 2023 10:19
@ghost ghost locked as resolved and limited conversation to collaborators Jun 21, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Code coverage failing for corelib

3 participants