-
-
Notifications
You must be signed in to change notification settings - Fork 1.6k
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
Kill server early on worker error #2610
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Couple of minor things, I don't think they're blockers for merging though.
Codecov ReportBase: 87.945% // Head: 87.818% // Decreases project coverage by
Additional details and impacted files@@ Coverage Diff @@
## main #2610 +/- ##
=============================================
- Coverage 87.945% 87.818% -0.128%
=============================================
Files 71 71
Lines 5359 5377 +18
Branches 893 897 +4
=============================================
+ Hits 4713 4722 +9
- Misses 469 473 +4
- Partials 177 182 +5
Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here. ☔ View full report at Codecov. |
This will be to kill the worker process early on an error and to allow the deadlock restriction to be bumped to a higher value.