Cancel in-progress workflow runs after a push

.github/workflows/ci.yml

@@ -30,6 +30,9 @@ permissions:
 defaults:
   run:
     shell: bash
+concurrency:
+  group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}"
+  cancel-in-progress: true
 jobs:
   pr:
     permissions:

src/ci/github-actions/ci.yml

@@ -305,6 +305,10 @@ defaults:
     # shell is PowerShell.)
     shell: bash
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   pr:
     permissions: