From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Sat, 2 Apr 2022 18:08:36 +0000 (+0200)
Subject: Always cancel already running CI runs on forks (#8542)
X-Git-Tag: cvc5-1.0.0~39
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a9e1aad9ae2bccd3c5fd9023528c9e379728e87d;p=cvc5.git

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.
---

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: