Rollup of 5 pull requests#116006

Merged

bors merged 14 commits into

rust-lang:masterfrom

GuillaumeGomez:rollup-elrbjd4

Sep 20, 2023

Commits on Sep 19, 2023

Commits on Sep 20, 2023

rustdoc: add test cases, and fix, search tabs
notriddle
committed
Ensure `build/tmp` exists in `rustdoc_themes::get_themes`

Lukas Wirth
authored and
Veykril
committed
coverage: Remove debug code from the instrumentor
Zalathar
committed
coverage: Remove vestigial `format_counter` methods
Zalathar
committed
coverage: Remove vestigial counter/expression debug labels
Zalathar
committed
RELEASES.md: Add missing patch releases
Turbo87
committed
rustdoc: add comment about numeric spacing
notriddle
committed
Rollup merge of #115566 - zirconium-n:issue-107250-clean-up-unused-to-predicate, r=oli-obk
GuillaumeGomez
authored
Rollup merge of #115962 - Zalathar:debug, r=oli-obk
GuillaumeGomez
authored
Rollup merge of #115988 - notriddle:notriddle/search-tab-layout, r=GuillaumeGomez
GuillaumeGomez
authored
Rollup merge of #115991 - ferrocene:rustdoc-themes, r=pietroalbini
GuillaumeGomez
authored
Rollup merge of #115997 - Turbo87:relnotes, r=pietroalbini
GuillaumeGomez
authored