Skip to content

perf(covgate,covratchet): restore NumCPU default and add progress#32

Merged
ben-miru merged 3 commits into
mainfrom
perf/restore-parallelism-and-progress
May 18, 2026
Merged

perf(covgate,covratchet): restore NumCPU default and add progress#32
ben-miru merged 3 commits into
mainfrom
perf/restore-parallelism-and-progress

Commits

Commits on May 18, 2026