Skip to content

Force exit of process if a timeout has occurred#1354

Merged
edoardopirovano merged 1 commit intomainfrom edoardo/force-exit-on-timeoutNov 10, 2022