Skip to content

fix(colgrep): responsive Ctrl+C + non-resetting build progress while indexing#143

Merged
raphaelsty merged 1 commit into
mainfrom
fix/index-progress-and-interrupt
Jun 17, 2026
Merged

fix(colgrep): responsive Ctrl+C + non-resetting build progress while indexing#143
raphaelsty merged 1 commit into
mainfrom
fix/index-progress-and-interrupt