feat: use a separate thread pool for Matcher (and perhaps for all of skim)#961
Merged
LoricAndre merged 31 commits intoskim-rs:masterfrom Feb 15, 2026
Merged
Commits
Commits on Feb 10, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 12, 2026
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
Commits on Feb 15, 2026
- committed
- committed
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed