From a9e1aad9ae2bccd3c5fd9023528c9e379728e87d Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Sat, 2 Apr 2022 20:08:36 +0200 Subject: [PATCH] Always cancel already running CI runs on forks (#8542) One effect of our changed concurrency policy is that we never cancel runs on forks. This PR changes this, always allowing the concurrency mechanism to cancel on repositories that are not the main repository. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9ef262784..91832be57 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -69,7 +69,7 @@ jobs: # cancel already running jobs for the same branch/pr/tag concurrency: group: build-${{ github.ref }}-${{ matrix.name }}-${{ github.ref != 'refs/heads/main' || github.run_id }} - cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }} + cancel-in-progress: ${{ github.repository != 'cvc5/cvc5' || startsWith(github.ref, 'refs/pull/') }} steps: -- 2.30.2