Skip to content

Exit early when a score of 100 is found#56

Merged
maxbachmann merged 3 commits intomasterfrom
earlyExit
Nov 17, 2020
Merged

Exit early when a score of 100 is found#56
maxbachmann merged 3 commits intomasterfrom
earlyExit

Conversation

@maxbachmann
Copy link
Member

No description provided.

@maxbachmann maxbachmann merged commit 316303d into master Nov 17, 2020
@maxbachmann maxbachmann deleted the earlyExit branch November 17, 2020 16:49
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