tree 8ffe27020bd4a50ba30677770972bbec4c0fc31d
parent aad346d2d42d3826646ce5e9d9d79511288e58ae
author Rico Wind <ricow@google.com> 1711023727 +0100
committer Rico Wind <ricow@google.com> 1711025460 +0000

Add --print-times on all normal bots

Bug: b/330628922
Change-Id: I8feb9a8beeae85fb9bb491c9bdda82d102582ed1