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

scgopi merged 3 commits into
mainfrom
fix/217-skip-unchanged-deadlock

Merge branch 'main' into fix/217-skip-unchanged-deadlock

cd17a36
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar