Adds option to make timing configurable#18

Merged

robgonnella merged 1 commit intomainfrom add-option-to-set-timing

Dec 26, 2023

+344-67

Commits on Dec 26, 2023

Adds option to make timing configurable

robgonnella
authored and
actions-user
committed