Trigger an edge patch update on modified `edge` PRs

.github/workflows/edge-ci.yml

@@ -2,11 +2,14 @@ name: Edge CI
 
 on:
   pull_request_target:
-    types: [labeled, unlabeled]
+    types: [synchronize, reopened, closed, labeled, unlabeled]
 
 jobs:
   update-patches:
-    if: github.event.label.name == 'edge'
+    # Run if the 'edge' label was added/removed, or if an edge PR was synchronized/reopened/closed
+    if: |
+      github.event.label.name == 'edge' ||
+      !contains(github.event.action, 'labeled') && contains(github.event.pull_request.labels.*.name, 'edge')
     runs-on: ubuntu-latest
     steps:
       - name: Update Edge patches