CI: Cancel in-progress runs on update for PR

.github/workflows/codeql-analysis.yml

@@ -13,6 +13,14 @@ on:
     # Check every Saturday at 18:36
     - cron: "36 18 * * 6"
 
+# Cancel previous workflow runs for pull requests.
+# The concurrency group is workflow name and the branch name for pull requests,
+# but it is the commit hash for any other events, so the group is unique and no
+# runs are canceled.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }}
+  cancel-in-progress: true
+
 jobs:
   analyze:
     name: ${{ matrix.language }}

.github/workflows/osgeo4w.yml

@@ -4,6 +4,14 @@ on:
   - push
   - pull_request
 
+# Cancel previous workflow runs for pull requests.
+# The concurrency group is workflow name and the branch name for pull requests,
+# but it is the commit hash for any other events, so the group is unique and no
+# runs are canceled.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }}
+  cancel-in-progress: true
+
 jobs:
   build:
     name: ${{ matrix.os }} build and tests

.github/workflows/ubuntu.yml

@@ -5,6 +5,14 @@ on:
   - push
   - pull_request
 
+# Cancel previous workflow runs for pull requests.
+# The concurrency group is workflow name and the branch name for pull requests,
+# but it is the commit hash for any other events, so the group is unique and no
+# runs are canceled.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }}
+  cancel-in-progress: true
+
 jobs:
   build-and-test:
     name: ${{ matrix.os }} tests