BUG: Single digits in timestamp

In the output JSON, in the timestamp, we get time with no trailing zeroes:

Built on 20 June 2023, 2:1:42.270 (UTC)
Built with Describe Compiler version 0.9.2

This should read instead:

Built on 20 June 2023, 02:01:42.270 (UTC)
Built with Describe Compiler version 0.9.2

Issue has been fixed.

Back