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

report shrink candidate stat #33739

Closed
wants to merge 15 commits into from
Closed

Conversation

HaoranYi
Copy link
Contributor

Problem

Report shrinking candiate timing and stats

Summary of Changes

Fixes #

@codecov
Copy link

codecov bot commented Oct 17, 2023

Codecov Report

Merging #33739 (00187c7) into master (673a38c) will decrease coverage by 0.1%.
Report is 26 commits behind head on master.
The diff coverage is 100.0%.

❗ Current head 00187c7 differs from pull request most recent head eeec138. Consider uploading reports for the commit eeec138 to get more accurate results

@@            Coverage Diff            @@
##           master   #33739     +/-   ##
=========================================
- Coverage    81.8%    81.8%   -0.1%     
=========================================
  Files         806      806             
  Lines      217859   217843     -16     
=========================================
- Hits       178239   178219     -20     
- Misses      39620    39624      +4     

@github-actions github-actions bot added the stale [bot only] Added to stale content; results in auto-close after a week. label Nov 3, 2023
@github-actions github-actions bot closed this Nov 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
stale [bot only] Added to stale content; results in auto-close after a week.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant