ga: no PR if only Linux version change

hrw · Jan 14, 2025 · 69356f9 · 69356f9
1 parent 7ffbc36
commit 69356f9
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.github/workflows/update-tables.yml b/.github/workflows/update-tables.yml
@@ -17,6 +17,7 @@ jobs:
     permissions:
       contents: write
       pull-requests: write
+      actions: write
     steps:
       - name: install packages data
         run: sudo apt-get update
@@ -48,6 +49,15 @@ jobs:
           LINUX_VER=$(make kernelversion)
           echo "VERSION=$LINUX_VER" >> $GITHUB_ENV
 
+      # taken from https://stackoverflow.com/a/75809743
+      - name: Exit if only kernel version change
+        working-directory: syscalls-table/
+        run: |
+          if [ `git diff system_calls | wc -l` == 7 ]; then
+            gh run cancel ${{ github.run_id }}
+            gh run watch  ${{ github.run_id }}
+          fi
+
       - name: Create pull request
         uses: peter-evans/create-pull-request@v6
         with: