Skip to content

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

rustdoc-search: use set ops for ranking and filtering

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

Triggered via pull request December 13, 2023 17:38
Status Success
Total duration 47m 31s
Artifacts 1

ci.yml

on: pull_request
Matrix: auto
Matrix: try
Matrix: pr
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

5 errors
PR - x86_64-gnu-tools
unexpected closing delimiter: `}`
PR - x86_64-gnu-tools
this file contains an unclosed delimiter
PR - x86_64-gnu-tools
unexpected closing delimiter: `}`
PR - x86_64-gnu-tools
mismatched closing delimiter: `}`
PR - x86_64-gnu-tools
unexpected `if` in the condition expression

Artifacts

Produced during runtime
Name Size
doc-118402-bec66729 Expired
11.5 MB