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.

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

Only check for timeout if time_limit is finite, and don't consider timed logging if output_flag is false; formatted #1941

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

Conversation

jajhall
Copy link
Sponsor Member

@jajhall jajhall commented Sep 20, 2024

This greatly reduces the number of calls to the timer

This closes #1930

…med logging if output_flag is false; formatted
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant