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

Change code coverage build pool to correct pool #6647

Merged
merged 1 commit into from
May 4, 2023

Conversation

michaelgsharp
Copy link
Member

Changed code coverage build pool to the correct pool. These machines are more powerful so hopefully code coverage runs faster and is less flaky.

@codecov
Copy link

codecov bot commented May 3, 2023

Codecov Report

Merging #6647 (968612d) into main (a18b9cb) will increase coverage by 0.05%.
The diff coverage is n/a.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #6647      +/-   ##
==========================================
+ Coverage   68.53%   68.59%   +0.05%     
==========================================
  Files        1200     1200              
  Lines      250287   250287              
  Branches    26093    26093              
==========================================
+ Hits       171526   171674     +148     
+ Misses      71929    71798     -131     
+ Partials     6832     6815      -17     
Flag Coverage Δ
Debug 68.59% <ø> (+0.05%) ⬆️
production 63.08% <ø> (+0.07%) ⬆️
test 88.83% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

see 10 files with indirect coverage changes

@michaelgsharp michaelgsharp merged commit 07b6f45 into dotnet:main May 4, 2023
@ghost ghost locked as resolved and limited conversation to collaborators Jun 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants