From 4bedba136eb9edb0f6eb4b72c5590c79ba5be78c Mon Sep 17 00:00:00 2001
From: Apply Push Bridge <noreply@apply-push-bridge>
Date: Tue, 1 Sep 2026 19:47:00 -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: 20260901T234700Z-apply-push-f50b1d
Patch-SHA256: 2a0805c0fffd8c391d021298a54e94a005628bc080ab5fa7f622a67ff5137d9c
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0893ae0..9e3ea2c 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: