-
Notifications
You must be signed in to change notification settings - Fork 234
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
[Merged by Bors] - chore: restore simp
s that used to work
#12126
Conversation
mo271
commented
Apr 14, 2024
!bench |
I added |
There's some overlap with #12128 (but not too bad). In any case, thanks for doing this also! |
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.
Thanks for doing this, looks good to me!
Here are the benchmark results for commit c86dcd2. |
Haha, that was almost at the same moment... |
If you want to continue along this vein, this branch of mine contains a few more changes that I haven't cleaned up yet (and my three porting notes PRs of this morning). I will eventually get to these. But if you want (no pressure!!), feel welcome to crib/clean those up. |
I have no commits in the vein planned, so please go ahead without me |
bors merge |
Co-authored-by: Moritz Firsching <firsching@google.com>
Pull request successfully merged into master. Build succeeded: |
simp
s that used to worksimp
s that used to work
Co-authored-by: Moritz Firsching <firsching@google.com>
Co-authored-by: Moritz Firsching <firsching@google.com>
Co-authored-by: Moritz Firsching <firsching@google.com>
Co-authored-by: Moritz Firsching <firsching@google.com>
Co-authored-by: Moritz Firsching <firsching@google.com>