Skip to content

Give a timed-out solver a chance to clean up after itself - #218

Draft
coord-e wants to merge 4 commits into
mainfrom
claude/docker-container-persistence-dddom9
Draft

Give a timed-out solver a chance to clean up after itself#218
coord-e wants to merge 4 commits into
mainfrom
claude/docker-container-persistence-dddom9

Leave a timed-out solver to exit on the SIGTERM it was sent

06f8bd3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar