From 25af98afd22b7c1fb371fa0f06d0ce3711f9e99f Mon Sep 17 00:00:00 2001
From: Apply Push Bridge <noreply@apply-push-bridge>
Date: Tue, 1 Sep 2026 19:46:39 -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: 20260901T234639Z-apply-push-6bd968
Patch-SHA256: d98bba1f87201c326cc5eec4934e6561789644fd2bc90df54651dffe51ff055e
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ec2783f..54a4675 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, master]
 permissions: