Skip to content

Micro-optimize rustdoc search index parsing#148522

Merged
bors merged 1 commit intorust-lang:mainfrom
yotamofek:pr/rustdoc/optimize-read_postings_from_string
Nov 16, 2025
Merged

Micro-optimize rustdoc search index parsing#148522
bors merged 1 commit intorust-lang:mainfrom
yotamofek:pr/rustdoc/optimize-read_postings_from_string

Commits

Commits on Nov 5, 2025