From 9a96ea84ba6d50cb49cf8f683212f92f9dab18c8 Mon Sep 17 00:00:00 2001
From: lynxnb <niccolo.betto@gmail.com>
Date: Sun, 12 Feb 2023 03:22:00 +0100
Subject: [PATCH] Trigger an edge patch update on modified `edge` PRs

---
 .github/workflows/edge-ci.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/edge-ci.yml b/.github/workflows/edge-ci.yml
index a3d9236f..1c0ef7b3 100644
--- a/.github/workflows/edge-ci.yml
+++ b/.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