tree dff826501c7d896291c4e8d85278ca6f3521e95b
parent f2cd214faefc1211bd4f66423ff80f86d2a95b9f
author Kevin Burke <kev@inburke.com> 1492313927 -0700
committer Brad Fitzpatrick <bradfitz@golang.org> 1492315775 +0000

cmd/coordinator: make durations more human-friendly

Previously we printed duration to seven decimal points after the
second, which isn't helpful or necessary to determine how long a
build took. Instead, round the duration to the nearest tenth of a
second (if the build took more than 10 seconds), the nearest hundredth
of a second (if it took 1-10 seconds), or the nearest tenth of a
millisecond (if it took less than a second), which should be more than
enough precision and is much easier to read.

Change-Id: I1c29d4a81335bf9ee3cddda0a341d3f321e82f6b
Reviewed-on: https://go-review.googlesource.com/40855
Reviewed-by: Brad Fitzpatrick <bradfitz@golang.org>