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 #3773

Merged
merged 1 commit into from
Jul 26, 2023
Merged

[Automated] Update PGO #3773

merged 1 commit into from
Jul 26, 2023

Conversation

nibanks
Copy link
Member

@nibanks nibanks commented Jul 23, 2023

Update the PGO database with the latest perf numbers

@codecov
Copy link

codecov bot commented Jul 23, 2023

Codecov Report

Merging #3773 (77cc70e) into main (9685eb5) will decrease coverage by 0.33%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #3773      +/-   ##
==========================================
- Coverage   77.59%   77.27%   -0.33%     
==========================================
  Files          56       56              
  Lines       15558    15558              
==========================================
- Hits        12072    12022      -50     
- Misses       3486     3536      +50     

see 10 files with indirect coverage changes

@nibanks nibanks enabled auto-merge (squash) July 23, 2023 09:40
@nibanks nibanks disabled auto-merge July 26, 2023 13:58
@nibanks nibanks merged commit 9f086d8 into main Jul 26, 2023
418 of 423 checks passed
@nibanks nibanks deleted the merge-pgo-0.2023.07.23.01.0 branch July 26, 2023 13:58
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