From 4c83e12975283fac6966ba6731f1ccc8345d4e28 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Sat, 10 Feb 2024 13:57:51 +1100
Subject: [PATCH] workflows: disambiguate concurrency groups

These workflows can now be called from the same main workflow file,
which means their concurrency groups can collide.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 .github/workflows/sel4bench-pr.yml | 2 +-
 .github/workflows/sel4test-hw.yml  | 2 +-
 .github/workflows/sel4test-sim.yml | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

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: