From 94ec434eae3ac041017384b02e5d32a982d438ee Mon Sep 17 00:00:00 2001
From: TrainDoctor <11465594+TrainDoctor@users.noreply.github.com>
Date: Thu, 9 Mar 2023 16:31:43 -0800
Subject: Update edit-check.yml

---
 .github/workflows/edit-check.yml | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

(limited to '.github')

diff --git a/.github/workflows/edit-check.yml b/.github/workflows/edit-check.yml
index 9a578a86..267a25c8 100644
--- a/.github/workflows/edit-check.yml
+++ b/.github/workflows/edit-check.yml
@@ -22,7 +22,25 @@ jobs:
       with:
         separator: ","
         files: |
-          plugin/plugin.pyi
+          plugin/*
+          
+    - name: Is stub changed
+      id: changed-stub
+      run: |
+        STUB_CHANGED="false"
+        PATHS=(plugin plugin/decky_plugin.pyi)
+        SHA=${{ github.sha }}
+        SHA_PREV=$(git rev-list --parents -n 1 $SHA)
+        FILES=$(git diff $SHA_PREV..$SHA --name-only -- ${PATHS[@]} | jq -Rsc 'split("\n")[:-1] | join (",")')
+        if [[ "$FILES" == *"plugin/decky_plugin.pyi"* ]]; then
+          $STUB_CHANGED="true"
+          echo "Stub has changed, pushing updated stub"
+        else
+          echo "Stub has not changed, exiting."
+          echo "has_changed=$STUB_CHANGED" >> $GITHUB_OUTPUT
+          exit 0
+        fi
+        echo "has_changed=$STUB_CHANGED" >> $GITHUB_OUTPUT
 
     - name: Push updated stub
       if: steps.changed-stub.outputs.has_changed == true
-- 
cgit v1.2.3