tree 3de722e61aa3c7a40eb58a778bc97401de2cec08
parent 62c7aa4f281e61353fdc17513f9b1bf46dd3c597
author janakr <janakr@google.com> 1550165660 -0800
committer Copybara-Service <copybara-worker@google.com> 1550221169 -0800

Track the time spent in source and output-tree diff checking.

PiperOrigin-RevId: 233971847