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 <[email protected]>
seL4 · Feb 10, 2024 · 4c83e12 · 4c83e12
1 parent 5f52f8d
commit 4c83e12
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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: