Skip to content

rename CLI time options

Patrick Godwin requested to merge cli_options into main

Also define time constants in one location.

Merge request reports