Skip to content

v1.3.0: wall-clock timeout for the engine (default 20 min, tunable) - #8

Merged
ZhenghuaBao merged 2 commits into
mainfrom
feat/wallclock-timeout
Jul 22, 2026
Merged

v1.3.0: wall-clock timeout for the engine (default 20 min, tunable)#8
ZhenghuaBao merged 2 commits into
mainfrom
feat/wallclock-timeout

Document timeout-minutes input in README + example workflow

9ee16f8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar