Skip to content

Adopt the job-suffix naming for the PR-gate aggregator - #237

Merged
ptr727 merged 1 commit into
developfrom
feature/adopt-pr-gate-job-naming
Jul 5, 2026
Merged

Adopt the job-suffix naming for the PR-gate aggregator#237
ptr727 merged 1 commit into
developfrom
feature/adopt-pr-gate-job-naming

Commits

Commits on Jul 5, 2026