Skip to content

Fix --skip-unchanged deadlocking a goal loop that is the only writer of its tree (#217 item 13) - #222

Merged
scgopi merged 3 commits into
mainfrom
fix/217-skip-unchanged-deadlock
Aug 30, 2026
Merged

Fix --skip-unchanged deadlocking a goal loop that is the only writer of its tree (#217 item 13)#222
scgopi merged 3 commits into
mainfrom
fix/217-skip-unchanged-deadlock

Commits

Commits on Aug 30, 2026