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

[Automated] Update PGO #3816

Merged
merged 1 commit into from
Aug 13, 2023
Merged

[Automated] Update PGO #3816

merged 1 commit into from
Aug 13, 2023

Conversation

nibanks
Copy link
Member

@nibanks nibanks commented Aug 13, 2023

Update the PGO database with the latest perf numbers

@codecov
Copy link

codecov bot commented Aug 13, 2023

Codecov Report

Merging #3816 (cafc297) into main (46b7512) will increase coverage by 1.16%.
Report is 1 commits behind head on main.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #3816      +/-   ##
==========================================
+ Coverage   85.41%   86.58%   +1.16%     
==========================================
  Files          56       56              
  Lines       16543    16543              
==========================================
+ Hits        14131    14323     +192     
+ Misses       2412     2220     -192     

see 22 files with indirect coverage changes

@nibanks nibanks enabled auto-merge (squash) August 13, 2023 23:48
@nibanks nibanks merged commit da4fc00 into main Aug 13, 2023
430 of 436 checks passed
@nibanks nibanks deleted the merge-pgo-0.2023.08.13.01.0 branch August 13, 2023 23:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants