Skip to content

fix(review): stop the deterministic type-label mislabel from #5233's broken closure check#5407

Merged
JSONbored merged 1 commit into
mainfrom
worktree-label-propagation-fix
Jul 12, 2026
Merged

fix(review): stop the deterministic type-label mislabel from #5233's broken closure check#5407
JSONbored merged 1 commit into
mainfrom
worktree-label-propagation-fix