Skip to content

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

Merged
coord-e merged 5 commits into
mainfrom
claude/docker-container-persistence-dddom9
Aug 16, 2026
Merged

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

style fix

ca1b2bc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar