Skip to content

fix(state): graceful worker shutdown when shared-state manager dies - #476

Draft
mrosseel wants to merge 1 commit into
brickbots:mainfrom
mrosseel:fix/graceful-worker-shutdown-shared-state
Draft

mrosseel wants to merge 1 commit into
brickbots:mainfrom
mrosseel:fix/graceful-worker-shutdown-shared-state

fix(state): graceful worker shutdown when shared-state manager dies

0ed5b6c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.