From 1de4d06a4459ef23be2dd0cdd13aee47f47c04ba Mon Sep 17 00:00:00 2001
From: Axel Heider <axelheider@gmx.de>
Date: Mon, 1 Apr 2024 22:31:20 +0200
Subject: [PATCH] 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 <axelheider@gmx.de>
---
 .github/workflows/sel4bench-pr.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/sel4bench-pr.yml b/.github/workflows/sel4bench-pr.yml
index 5f48537f..a8ad7934 100644
--- 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