Cancel old runs when a new commit is pushed

Author: lucic71

.github/workflows/codeql.yml

@@ -2,6 +2,10 @@ name: "CodeQL"
 
 on: [push, pull_request]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   analyze:
     name: Analyze ${{ matrix.language }}

.github/workflows/format.yml

@@ -7,6 +7,10 @@ on:
   pull_request:
     branches: [ "**" ]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   format:
     runs-on: ubuntu-latest

.github/workflows/run-tests.yml

@@ -2,6 +2,10 @@ name: "Run tests"
 
 on: [push, pull_request]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   test:
     strategy: