[WIP] [rustdoc] misc search index cleanups

[yotamofek]

No description provided.

[yotamofek]

@bors try @rust-timer queue

[rust-timer]

Awaiting bors try build completion.

@rustbot label: +S-waiting-on-perf

[rust-bors]

⌛ Trying commit 4f6d5e0 with merge 66074cd…

To cancel the try build, run the command @bors try cancel.

Workflow: https://github.com/rust-lang/rust/actions/runs/19541816993

[yotamofek]

@bors try cancel

[rust-bors]

Try build cancelled. Cancelled workflows:

• https://github.com/rust-lang/rust/actions/runs/19541816993

[yotamofek]

@bors try @rust-timer queue

[rust-timer]

This pull request is already queued and waiting for a try build to finish.

[rust-bors]

⌛ Trying commit a718cbc with merge 0c69ac1…

To cancel the try build, run the command @bors try cancel.

Workflow: https://github.com/rust-lang/rust/actions/runs/19549366451

[yotamofek]

This pull request is already queued and waiting for a try build to finish.

Hey @Kobzol , just wanted to make sure.. this is a bug, right?

edit: I mean, seems everything is working fine, but I don't think bors should have posted this comment

[Kobzol]

Bors didn't post it, rust-timer did :) It's not a bug, it's an error message. You have already queued this PR before (#149149 (comment)), and then requeued it before the perf. run was finished, so the bot was just letting you know that the second rust-timer queue command was unnecessary. The PR stays queued until the benchmark is done, even if some try builds fail in the meantime.

[yotamofek]

Ahhh makes sense, thanks for taking the time to explain!