Skip to content

Use numeric tokens for faster index builds - #13

Merged
platypii merged 1 commit into
masterfrom
perf/numeric-index-tokens
Jul 31, 2026
Merged

Use numeric tokens for faster index builds#13
platypii merged 1 commit into
masterfrom
perf/numeric-index-tokens

Use numeric tokens for default index builds

dcdec65
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
typecheck
succeeded Jul 31, 2026 in 18s