Add new test::print_merged_doctests_times used by rustdoc to display more detailed time information#144909
Merged
bors merged 1 commit intoAug 8, 2025
The logs for this run have expired and are no longer available.
Loading