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

fix(state): graceful worker shutdown when shared-state manager dies#476
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
nox
succeeded Jun 17, 2026 in 8m 35s