Skip to content

CI/GitHub Actions: set job timeout 20 minutes#958

Merged
emanuel-schmid merged 1 commit intodevelopfrom feature/job_timeoutOct 4, 2024

Commits

Commits on Oct 4, 2024