Skip to content

Add timeout to CI jobs#1200

Merged
hugovk merged 1 commit into
python:mainfrom
hugovk:ci-timeout
Oct 18, 2023
Merged

Add timeout to CI jobs#1200
hugovk merged 1 commit into
python:mainfrom
hugovk:ci-timeout

Commits

Commits on Oct 18, 2023