Add new test::print_merged_doctests_times
used by rustdoc to display more detailed time information#144909
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 8, 2025