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

[Optimizer] Change the timeout type from int to double #172

Merged

liupengy19 merged 1 commit into master from timeout

Mar 13, 2024

Collaborator

xumingkuan commented Mar 13, 2024

So that we can set timeout values that are not multiples of 1s.

Also removes an incorrect // namespace quartz comment.


          [Optimizer] Change the timeout type from int to double

2a8565c

xumingkuan requested a review from liupengy19

March 13, 2024 18:37

liupengy19 merged commit 8923578 into master

2 checks passed

xumingkuan deleted the timeout branch

March 13, 2024 20:36

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet