Skip to content

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

Merged
automergerpr-permission-manager[bot] merged 1 commit into
masterfrom
jh/kontrol-step-timeout
Jun 24, 2026
Merged

feat: add --step-timeout option for kontrol prove#1160
automergerpr-permission-manager[bot] merged 1 commit into
masterfrom
jh/kontrol-step-timeout

feat: add `--step-timeout` option for kontrol prove

65bc8ca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Code Quality Checks
succeeded Jun 22, 2026 in 2m 39s