From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 31 Mar 2022 00:50:04 +0000 (-0700)
Subject: ci: Do not cancel jobs on main branch. (#8471)
X-Git-Tag: cvc5-1.0.0~109
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=41cc2b3dbd78f12b35cb99afa91965aca53aa687;p=cvc5.git

ci: Do not cancel jobs on main branch. (#8471)

This will prevent that jobs on the main branch get cancelled when new PRs are merged in before the previous ones finished on main.
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8232933b1..badbcd16c 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 }}
-      cancel-in-progress: true
+      cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 
     steps: