From 7fe197d8f1efcd3c330c5df0a8d3287c02c77e24 Mon Sep 17 00:00:00 2001
From: YeonGyu-Kim <code.yeon.gyu@gmail.com>
Date: Fri, 8 May 2026 14:57:58 +0900
Subject: [PATCH] chore(workflows): trigger web-deploy on dev push too
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

PRs land on `dev` (master is blocked by `block-master-pr`), but the
deploy workflow only listened to `master` pushes — so #3853's web/
dependency bumps merged to dev with no Cloudflare deployment ever
running.

Add `dev` to the push branches list. The existing `paths` filter
keeps the deploy from firing on non-web changes, and `workflow_dispatch`
is preserved as the manual fallback.
---
 .github/workflows/web-deploy.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/web-deploy.yml b/.github/workflows/web-deploy.yml
index 9bee30cf2..a8a10ba15 100644
--- a/.github/workflows/web-deploy.yml
+++ b/.github/workflows/web-deploy.yml
@@ -8,7 +8,7 @@ on:
         required: false
         default: ""
   push:
-    branches: [master]
+    branches: [master, dev]
     paths:
       - "web/**"
       - ".github/workflows/web-deploy.yml"