Skip to content

Build only the fast Linux targets on feature-branch PRs - #240

Merged
estebanzimanyi merged 1 commit into
MobilityDB:mainfrom
estebanzimanyi:tooling/fast-feature-pr-ci
Jul 31, 2026
Merged

Build only the fast Linux targets on feature-branch PRs#240
estebanzimanyi merged 1 commit into
MobilityDB:mainfrom
estebanzimanyi:tooling/fast-feature-pr-ci

Commits

Commits on Jul 31, 2026