Release issue reservations after terminal worker outcomes #1051

Merged
coilysiren merged 1 commit from issue-1042 into main 2026-07-10 17:31:35 +00:00
Member

closes #1042

ward.workflow: pull-requests-and-merge

closes #1042 ward.workflow: pull-requests-and-merge
fix terminal reservation cleanup
All checks were successful
test / test (pull_request) Successful in 21s
5a3d214b5d
Sign in to join this conversation.
No description provided.