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.

Sign up for GitHub

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

Jump to bottom

Fix benchmark setup #3991

Merged
merged 14 commits into from
Jun 6, 2024
Merged

Fix benchmark setup #3991

merged 14 commits into from
Jun 6, 2024

Conversation

chrmod
Copy link
Member

@chrmod chrmod commented May 30, 2024 •
edited
Loading

No description provided.

@chrmod chrmod requested a review from remusao as a code owner May 30, 2024 08:19
@chrmod chrmod added the PR: Internal 🏠 Changes only affect internals label May 30, 2024
@chrmod chrmod requested a review from remusao June 5, 2024 13:53
@chrmod chrmod added PR: Polish 💅 Increment patch version when merged and removed PR: Internal 🏠 Changes only affect internals labels Jun 6, 2024
remusao
remusao approved these changes Jun 6, 2024
View reviewed changes
README.md Outdated Show resolved Hide resolved
bench/comparison/Makefile Outdated Show resolved Hide resolved
bench/comparison/Makefile Show resolved Hide resolved
@chrmod chrmod merged commit 0b4e63d into master Jun 6, 2024
3 checks passed
@chrmod chrmod deleted the update-benchmark-rig branch June 6, 2024 12:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@remusao remusao remusao approved these changes

Assignees
No one assigned
Labels
PR: Polish 💅 Increment patch version when merged
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@chrmod @remusao