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

increase the worker pool timeout #22

Closed
ferigis opened this issue Apr 7, 2017 · 0 comments · Fixed by #24
Closed

increase the worker pool timeout #22

ferigis opened this issue Apr 7, 2017 · 0 comments · Fixed by #24

Comments

@ferigis
Copy link
Member

ferigis commented Apr 7, 2017

Testing with spellingCI I saw 5 seconds is not good enough. We can increase the default timeout or/and make that number configurable from config file

ferigis added a commit that referenced this issue Apr 11, 2017
elbrujohalcon pushed a commit that referenced this issue Apr 11, 2017
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 a pull request may close this issue.

1 participant