Skip to content

Extract more literal n-grams from regex queries for tighter index pruning#3

Merged
platypii merged 3 commits into
masterfrom
grep-refinement
May 25, 2026
Merged

Extract more literal n-grams from regex queries for tighter index pruning#3
platypii merged 3 commits into
masterfrom
grep-refinement

Fold single-literal group branches into the regex run

97f48db
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test
succeeded May 25, 2026 in 18s