mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-08 09:38:26 +03:00
a11a211d7c
Fix doctest compilation time display Fixes rust-lang/rust#146960. Small corner case that happened in case everything went fine and there was only merged doctests. r? lolbinarycat