Skip to content

rustdoc-search: use set ops for ranking and filtering - #118402

Merged
bors merged 4 commits into
rust-lang:masterfrom
notriddle:notriddle/ranking-and-filtering
Dec 13, 2023
Merged

rustdoc-search: use set ops for ranking and filtering#118402
bors merged 4 commits into
rust-lang:masterfrom
notriddle:notriddle/ranking-and-filtering

rustdoc-search: clean up handleSingleArg type handling

bec6672
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs