1. we should polish our log entries (including <ht...
# development
w
4. we should polish our log entries (including https://github.com/pantsbuild/pants/pull/9927 , but going further to make it friendly)
đź‘Ť 1
@hundreds-breakfast-49010: this is green… i can merge?
h
ah yeah feel free
w
oh, hm. i just noticed that you removed milliseconds there.
if we’re going to have timestamps at all, we need milliseconds.
@hundreds-father-404: 1 or 2 precision wouldn’t be milliseconds anymore… could dot it instead maybe.
a few things here: i think that the
utc
->
local
change is good, but independent of formatting in general
h
Ah, that’s what I was envisioning. It’s helpful to know
1.1
seconds vs.
1.9
seconds.
1.931
seems noisy
w
there are probably a few things we should do about formatting.
h
Maybe
1.93
is fine, but yes, I think it should be dotted.