Integrated: 7904067: Include the millisecond part in the start and end times reported in each action's section

[Jaikiran Pai]

On Sat, 23 Aug 2025 11:02:57 GMT, Jaikiran Pai <jpai at openjdk.org> wrote:

> Can I please get a review of this trivial change which updates the reporting of start and end dates of each action to also include the millisecond part? 
> 
> As noted in https://bugs.openjdk.org/browse/CODETOOLS-7904067, this detail can sometimes help during debugging when comparing other log files which typically have the millisecond part.
> 
> Existing self tests continue to pass with this change.

This pull request has now been integrated.

Changeset: 5e7e48f0
Author:    Jaikiran Pai <jpai at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/5e7e48f0778252d33768ca4b9bdd7eca06e70cea
Stats:     12 lines in 1 file changed: 5 ins; 1 del; 6 mod

7904067: Include the millisecond part in the start and end times reported in each action's section

Reviewed-by: cstein

-------------

PR: https://git.openjdk.org/jtreg/pull/275