feat(ci): cancel existing running workflows for a PR when a new change is pushed to that PR (#927)

Author: jenstroeger

.github/workflows/pr-change-set.yaml

@@ -14,6 +14,12 @@ on:
 permissions:
   contents: read
 
+# Cancel existing running workflows for a PR when a new change is pushed
+# to that PR. See also: https://docs.github.com/en/actions/writing-workflows/workflow-syntax-for-github-actions#concurrency
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     uses: ./.github/workflows/_build.yaml