From 5502456825788f3c1da2a4dcbe52d44c97eec24b Mon Sep 17 00:00:00 2001
From: Apply Push Bridge <noreply@apply-push-bridge>
Date: Tue, 1 Sep 2026 19:46:31 -0400
Subject: [PATCH] repo: scan a pull request again when its text is edited

`pull_request` without `types` fires on opened, synchronize and
reopened only, so a title or body edited after the checks passed
reached the merge unscanned. Name the types and add `edited`; the
wall then runs against the current text.

Source: original
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012Jj94rkp3tfHAxUkTCthgY
Apply-Push-Job: 20260901T234631Z-apply-push-a1af92
Patch-SHA256: f9816cdf7b1a595a0a2c9e69366d5ae859daf5624cb7a5edb495fd8bf6a18491
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e66a322..ef9a50b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,7 @@
 name: ci
 on:
   pull_request:
+    types: [opened, synchronize, reopened, edited]
   push:
     branches: [dev, main]
 permissions: