CI: cancel older concurrent PR runs

Remove the space in the workflow name to ensure there are no side effects when using it as an identifier. Signed-off-by: Axel Heider <[email protected]>
seL4 · Apr 8, 2024 · 1de4d06 · 1de4d06
1 parent b78e966
commit 1de4d06
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.github/workflows/sel4bench-pr.yml b/.github/workflows/sel4bench-pr.yml
@@ -4,7 +4,7 @@
 
 # Build and run sel4bench on pull requests
 
-name: seL4Bench PR
+name: seL4Bench-PR
 
 on:
   pull_request_target:
@@ -16,6 +16,12 @@ on:
 permissions:
   contents: read
 
+# Cancel older runs of this workflow that are still not finished for the
+# current PR. This reduces the CI load.
+concurrency:
+  group: ${{ github.workflow }}-pr-${{ github.event.number }}
+  cancel-in-progress: true
+
 jobs:
   code:
     name: Freeze Code