Added option to customize timeout for minimization runs#132

derconno merged 1 commit intomainsrlabs/ziggy:mainfrom

minimization-timeoutsrlabs/ziggy:minimization-timeoutCopy head branch name to clipboard