ci: add dev branch to CI pull_request trigger #310

Closed
groombook-engineer[bot] wants to merge 1 commits from ci-dev-trigger into dev

1 Commits

Author SHA1 Message Date
groombook-engineer[bot] db43efc6e6 ci: add dev branch to CI pull_request trigger
PR #306 was retargeted from main → dev. The CI workflow
only triggered on pull_request targeting main, so CI silently
stopped running after the retarget.

This adds dev to both push and pull_request branch lists so
CI runs on PRs and pushes targeting dev.

Co-Authored-By: Paperclip <noreply@paperclip.ing>
2026-04-17 01:10:06 +00:00