-
Notifications
You must be signed in to change notification settings - Fork 65
bench_tools: support deserialization of criterion change #9698
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
AvivYossef-starkware
merged 1 commit into
main-v0.14.1
from
aviv/support_deserialization_of_criterion_change
Oct 30, 2025
Merged
bench_tools: support deserialization of criterion change #9698
AvivYossef-starkware
merged 1 commit into
main-v0.14.1
from
aviv/support_deserialization_of_criterion_change
Oct 30, 2025
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This was referenced Oct 22, 2025
This was referenced Oct 22, 2025
Contributor
Author
b9b7dff to
a7cbb4d
Compare
22fdd6e to
8c3ca65
Compare
a7cbb4d to
d43c70f
Compare
8c3ca65 to
7e56c55
Compare
d43c70f to
e3895bb
Compare
7e56c55 to
87beeaa
Compare
avi-starkware
approved these changes
Oct 22, 2025
Collaborator
avi-starkware
left a comment
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.
@avi-starkware reviewed 1 of 1 files at r1, all commit messages.
Reviewable status:complete! all files reviewed, all discussions resolved (waiting on @meship-starkware)
This was referenced Oct 22, 2025
87beeaa to
c9df6fa
Compare
e3895bb to
618a391
Compare
c9df6fa to
595e682
Compare
0b8e2f7 to
a6d3b63
Compare
595e682 to
84e9328
Compare
a6d3b63 to
d0a108d
Compare
84e9328 to
947e4cc
Compare
947e4cc to
a033588
Compare
48e1a8f to
f159ab3
Compare
a033588 to
47a9439
Compare
This was referenced Oct 28, 2025
Merged
47a9439 to
fbfbf8e
Compare
f159ab3 to
bb05651
Compare
fbfbf8e to
8f40da5
Compare
bb05651 to
531484f
Compare
8f40da5 to
32ac829
Compare
531484f to
dda2576
Compare
Merge activity
|
This was referenced Oct 30, 2025
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.

No description provided.