Add concurrency for GitHub Actions

Author: Mab879

.github/workflows/build.yml

@@ -10,6 +10,9 @@ on:
   pull_request:
     branches: [ main, maint-1.3 ]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.number || github.run_id }}
+  cancel-in-progress: true
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:

.github/workflows/codeql.yml

@@ -9,6 +9,10 @@ on:
   schedule:
     - cron: '32 17 * * 0'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.number || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   analyze:
     name: Analyze