feat: add --step-timeout option for kontrol prove - #1160

feat: add --step-timeout option for kontrol prove#1160

automergerpr-permission-manager[bot] merged 1 commit into

masterruntimeverification/kontrol:masterfrom

jh/kontrol-step-timeoutruntimeverification/kontrol:jh/kontrol-step-timeoutCopy head branch name to clipboard