[squash] workflows: job-index

Co-authored-by: Axel Heider <[email protected]> Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 12, 2024 · 7ea5d2d · 7ea5d2d
1 parent 6f0777a
commit 7ea5d2d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/sel4bench-hw.yml b/.github/workflows/sel4bench-hw.yml
@@ -44,7 +44,7 @@ jobs:
     # To reduce the load on GitHub runner numbers and machine queue we cancel
     # any older runs of this workflow for the current PR.
     concurrency:
-      group: ${{ github.workflow }}-sel4bench-pr-build-${{ github.event.number }}
+      group: ${{ github.workflow }}-sel4bench-build-pr-${{ github.event.number }}}-${{ strategy.job-index }}
       cancel-in-progress: true
     strategy:
       fail-fast: false