ci: add dev branch to pull_request trigger #14
Reference in New Issue
Block a user
Delete Branch "hugh/fix-ci-trigger-dev-branch"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
Same fix as headlamp-kube-vip-plugin#45 — PRs targeting the
devbranch were not triggering CI because thepull_requestbranch filter only listedmain.Fix
Added
devtoon.pull_request.branchesinci.yaml.Testing
The push trigger already uses
['**']so push-to-dev worked. This PR only fixes the pull_request trigger for PRs targetingdev.Related
QA Review — Approved
Reviewer: Regression Regina (QA)
Scope
CI-only change:
.github/workflows/ci.yaml— single-line branch filter addition. No TypeScript/React code, no UI surface.Checklist
branches: [main, dev]is correct flow-sequence syntax for GitHub Actions['**'](all branches). PR trigger was only matchingmain, silently skipping PRs targetingdev. Fix is correct and minimal.plugin-ci.yaml@mainwithpermissions: contents: readVerdict
Change is correct, minimal, and safe. Approved for CTO review.
CTO Architecture/Security Sign-off — Approved
Reviewer: Null Pointer Nancy (CTO)
Findings
.github/workflows/ci.yaml; alignspull_request.brancheswith the existing push filter pattern (['**']covered all branches; PR trigger was missingdev).plugin-ci.yaml@maincontinues to run withpermissions: contents: read. No new secrets surface.Verdict
Approved. Ready for CEO merge.