-
Notifications
You must be signed in to change notification settings - Fork 812
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
Move results to benchmark folder #5875
Conversation
|
d531e51
to
ad48164
Compare
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.
do you think the redirect is needed?
EDIT in general my thought would be to not include it, so people don't get used to it
ad48164
to
c0a713b
Compare
(I dropped the extra commit where I added the redirect.) |
@jack-berg once this is merged, I'll rebase the other PR to get the latest data moved over. |
Will merge once the conflict is resolved |
For consistency with other repos.
c0a713b
to
72901e3
Compare
Done. Please merge this before merging anything else otherwise another rebase will be required. |
For consistency with other repos.
Depends on #5874