From 69356f9ae03c085d85de99a5743d9918b4c2098c Mon Sep 17 00:00:00 2001
From: Marcin Juszkiewicz <marcin@juszkiewicz.com.pl>
Date: Tue, 14 Jan 2025 09:52:01 +0100
Subject: [PATCH] ga: no PR if only Linux version change

---
 .github/workflows/update-tables.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/update-tables.yml b/.github/workflows/update-tables.yml
index 2df968b..15b68d1 100644
--- 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: