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.

Sign up for GitHub

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

Jump to bottom

Update dotnet-coverage tool #4273

Merged

RussKie merged 1 commit into main from igveliko/update_dotnet-coverage

Aug 11, 2023

+1 −1

Member

RussKie commented Aug 11, 2023 •

edited by ghost

Loading

null

Microsoft Reviewers: Open in CodeFlow


          Update dotnet-coverage tool

1ad0b6b

ghost assigned RussKie

RussKie merged commit 6b95e19 into main

RussKie deleted the igveliko/update_dotnet-coverage branch

August 11, 2023 06:38

ghost added this to the 8.0 RC1 milestone

ghost locked as resolved and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet