ci: Add concurrency functionality

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 6041dd5234c6087e03589ea1816ed6388ba3ded1..dafc5271d900ff780643ee33f2e8783c52c5a84a 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -18,6 +18,13 @@
 
 name: CI Build
 
+# https://docs.github.com/en/actions/using-jobs/using-concurrency
+concurrency:
+  # github.head_ref is only defined on pull_request
+  # Fallback to the run ID, which is guaranteed to be both unique and defined for the run.
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id  }}
+  cancel-in-progress: true
+
 on:
     push:
     pull_request: