workflows: strategy.job-index for concurrency

Add the strategy.job-index back into the concurrency key, now that these are back at the job level. Co-authored-by: Axel Heider <[email protected]> Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 14, 2024 · fcc2c61 · fcc2c61
1 parent a92830a
commit fcc2c61
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
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
@@ -68,7 +68,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: [build]
     concurrency:
-      group: ${{ github.workflow }}-sel4bench-pr-hw-run-${{ github.event.number }}
+      group: ${{ github.workflow }}-sel4bench-hw-run-pr-${{ github.event.number }}-${{ strategy.job-index }}
       cancel-in-progress: true
     strategy:
       fail-fast: false

diff --git a/.github/workflows/sel4test-hw.yml b/.github/workflows/sel4test-hw.yml
@@ -50,7 +50,7 @@ jobs:
     # To reduce the load (especially on the machine queue) we cancel any older
     # runs of this workflow for the current PR.
     concurrency:
-      group: ${{ github.workflow }}-sel4test-pr-build-${{ github.event.number }}
+      group: ${{ github.workflow }}-sel4test-build-pr-${{ github.event.number }}-${{ strategy.job-index }}
       cancel-in-progress: true
     strategy:
       fail-fast: false
@@ -99,7 +99,7 @@ jobs:
                github.event.action == 'labeled' &&
                github.event.label.name == 'hw-test') }}
     concurrency:
-      group: ${{ github.workflow }}-sel4test-pr-hw-run-${{ github.event.number }}
+      group: ${{ github.workflow }}-sel4test-hw-run-pr-${{ github.event.number }}-${{ strategy.job-index }}
       cancel-in-progress: true
     strategy:
       fail-fast: false