From db43efc6e63bca2f3f51620f2e2eff31929bca53 Mon Sep 17 00:00:00 2001 From: "groombook-engineer[bot]" <269742240+groombook-engineer[bot]@users.noreply.github.com> Date: Fri, 17 Apr 2026 01:10:06 +0000 Subject: [PATCH] ci: add dev branch to CI pull_request trigger MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 19f391c..b95ad64 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,9 +2,9 @@ name: CI on: push: - branches: [main] + branches: [main, dev] pull_request: - branches: [main] + branches: [main, dev] workflow_dispatch: inputs: ref: