github: fix concurrency group syntax

- fix concurrency group syntax (needs a group entry) - cancel started runs Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Dec 6, 2024 · a486a5d · a486a5d
1 parent fbec9c7
commit a486a5d
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/.github/workflows/proof-deploy.yml b/.github/workflows/proof-deploy.yml
@@ -62,7 +62,9 @@ jobs:
           - arch: AARCH64
             plat: bcm2711
     # test only most recent push:
-    concurrency: l4v-regression-${{ github.ref }}-${{ strategy.job-index }}
+    concurrency:
+      group: l4v-regression-${{ github.ref }}-${{ strategy.job-index }}
+      cancel-in-progress: true
     steps:
     - name: Proofs
       uses: seL4/ci-actions/aws-proofs@master
@@ -98,7 +100,9 @@ jobs:
         num_domains: ['1', '']
         plat: [""]
     # test only most recent push:
-    concurrency: l4v-mcs-regression-${{ github.ref }}-${{ strategy.job-index }}
+    concurrency:
+      group: l4v-mcs-regression-${{ github.ref }}-${{ strategy.job-index }}
+      cancel-in-progress: true
     steps:
     - name: Proofs
       uses: seL4/ci-actions/aws-proofs@master

diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml
@@ -33,7 +33,9 @@ jobs:
       matrix:
         arch: [ARM, ARM_HYP, AARCH64, RISCV64, X64]
     # test only most recent push to PR:
-    concurrency: l4v-pr-${{ github.event.number }}-idx-${{ strategy.job-index }}
+    concurrency:
+      group: l4v-${{ github.workflow }}-${{ github.event.number }}-idx-${{ strategy.job-index }}
+      cancel-in-progress: true
     steps:
     - name: Proofs
       uses: seL4/ci-actions/aws-proofs@master