From a486a5dba19b27ab2aa3a8004d24aaa6b2aae907 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 6 Dec 2024 16:15:30 +1100 Subject: [PATCH] github: fix concurrency group syntax - fix concurrency group syntax (needs a group entry) - cancel started runs Signed-off-by: Gerwin Klein --- .github/workflows/proof-deploy.yml | 8 ++++++-- .github/workflows/proof.yml | 4 +++- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/.github/workflows/proof-deploy.yml b/.github/workflows/proof-deploy.yml index 66ab7d2f44..20d51cb371 100644 --- 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 index 02bb6ce83a..7eac5186da 100644 --- 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