Rollup of 5 pull requests#147371

Merged

bors merged 12 commits intorust-lang:masterfrom

Zalathar:rollup-897uitw

Oct 5, 2025

Commits on Oct 3, 2025

Display merged doctests times as expected depending on the format specified
GuillaumeGomez
committed

Commits on Oct 4, 2025

Commits on Oct 5, 2025