Skip to content

CI: a shorter critical path, a timeout on every job, one run per PR - #845

Merged
irparent merged 1 commit into
mainfrom
ci/faster-critical-path
Oct 5, 2026
Merged

irparent merged 1 commit into
mainfrom
ci/faster-critical-path

Commits

Commits on Oct 5, 2026