Skip to content

ci: shorten the PR critical path - #786

Merged
Karib0u merged 2 commits into
mainfrom
ci/pr-critical-path
Oct 15, 2026
Merged

Karib0u merged 2 commits into
mainfrom
ci/pr-critical-path