diff --git a/.github/workflows/sel4bench-pr.yml b/.github/workflows/sel4bench-pr.yml
index a986d096..fc88c832 100644
--- a/.github/workflows/sel4bench-pr.yml
+++ b/.github/workflows/sel4bench-pr.yml
@@ -27,7 +27,7 @@ permissions:
 # the actual run on the hardware. But there seems not much gain in letting the
 # older builds run, as these are usually obsolete with new pushes also.
 concurrency:
-  group: ${{ github.workflow }}-pr-${{ github.event.number }}
+  group: ${{ github.workflow }}-sel4bench-pr-${{ github.event.number }}
   cancel-in-progress: true
 
 jobs:
diff --git a/.github/workflows/sel4test-hw.yml b/.github/workflows/sel4test-hw.yml
index 1a9f21b1..1b14d659 100644
--- a/.github/workflows/sel4test-hw.yml
+++ b/.github/workflows/sel4test-hw.yml
@@ -30,7 +30,7 @@ permissions:
 # the actual run on the hardware. But there seems not much gain in letting the
 # older builds run, as these are usually obsolete with new pushes also.
 concurrency:
-  group: ${{ github.workflow }}-pr-${{ github.event.number }}
+  group: ${{ github.workflow }}-sel4test-pr-${{ github.event.number }}
   cancel-in-progress: true
 
 jobs:
diff --git a/.github/workflows/sel4test-sim.yml b/.github/workflows/sel4test-sim.yml
index 3986adc6..787bef38 100644
--- a/.github/workflows/sel4test-sim.yml
+++ b/.github/workflows/sel4test-sim.yml
@@ -17,7 +17,7 @@ on:
 # becomes a convenient way to cancel all the older runs, e.g. if they are stuck
 # and would only be stopped by the timeout eventually.
 concurrency:
-  group: ${{ github.workflow }}-pr-${{ github.event.number }}
+  group: ${{ github.workflow }}-sel4sim-pr-${{ github.event.number }}
   cancel-in-progress: true
 
 jobs: