-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
[tune] Sort top results by metric #16576
Conversation
Thanks for this effort! A couple of comments from a first glance:
|
@krfricke Thanks for the suggestions! I have:
It seems some of the flaky tests do not passed. |
@Eleven1Liu, this is fantastic! Thanks! The only thing I'd change is in the test. Currently, the I think the following would make sense:
So then we get these orders (that we can test for):
What do you think? |
Sounds great! Let me check the code. |
Hi @krfricke, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is amazing. Thank you very much for this contribution and the revisions!
Hi @krfricke, Wow, great! Thanks for the suggestions and guidance. |
Why are these changes needed?
Make the reporter show the top results sorted by metric.
Related issue number
Closes #16448 (@krfricke)
Checks
scripts/format.sh
to lint the changes in this PR.