Skip to content

fix wrong condition with benchmark_from_scratch #1916

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

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from

Conversation

yhmtsai
Copy link
Member

@yhmtsai yhmtsai commented Aug 18, 2025

This PR fixes the wrong condition with benchmark_from_scratch in #1881 .
It should generate the one explicitly when we do not want to measure timing from scratch

@yhmtsai yhmtsai requested a review from pratikvn August 18, 2025 08:08
@yhmtsai yhmtsai self-assigned this Aug 18, 2025
@yhmtsai yhmtsai added is:bugfix This fixes a bug 1:ST:ready-for-review This PR is ready for review labels Aug 18, 2025
@ginkgo-bot ginkgo-bot added reg:benchmarking This is related to benchmarking. type:solver This is related to the solvers and removed 1:ST:ready-for-review This PR is ready for review labels Aug 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
is:bugfix This fixes a bug reg:benchmarking This is related to benchmarking. type:solver This is related to the solvers
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants