CI(github-actions): Avoid duplicate runs

(cherry picked from commit 384d317)

Author: Krzmbrzl

.github/workflows/build.yml

@@ -11,7 +11,21 @@ env:
 
 
 jobs:
+  pre_run:
+    runs-on: ubuntu-latest
+    outputs:
+      should_skip: ${{ steps.skip_check.outputs.should_skip }}
+    steps:
+      - id: skip_check
+        uses: fkirc/skip-duplicate-actions@v5
+        with:
+          concurrent_skipping: same_content_newer
+          skip_after_successful_duplicate: 'true'
+
   build:
+    needs: pre_run
+    if: needs.pre_run.outputs.should_skip != 'true'
+
     strategy:
         fail-fast: false
         matrix:

.github/workflows/code-ql.yml

@@ -9,7 +9,21 @@ env:
       -Dtests=OFF -Dsymbols=ON
 
 jobs:
+  pre_run:
+    runs-on: ubuntu-latest
+    outputs:
+      should_skip: ${{ steps.skip_check.outputs.should_skip }}
+    steps:
+      - id: skip_check
+        uses: fkirc/skip-duplicate-actions@v5
+        with:
+          concurrent_skipping: same_content_newer
+          skip_after_successful_duplicate: 'true'
+
   CodeQL-Build:
+    needs: pre_run
+    if: needs.pre_run.outputs.should_skip != 'true'
+
     runs-on: ubuntu-20.04
 
     steps: