github: Only run CI for latest commit in a branch, cancel old runs

2025-08-22 12:21:50 +02:00
parent 7b90dc93c0
commit b36da850b5
7 changed files with 28 additions and 0 deletions
@@ -2,6 +2,10 @@ name: "CodeQL"

 on: [push, pull_request]

+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 env:
  CCACHE_BASEDIR: ${{ github.workspace }}
  CCACHE_COMPRESS: true