From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Fri, 1 Apr 2022 20:26:52 +0000 (+0200)
Subject: Change CI concurrency policy to not queue on main (#8530)
X-Git-Tag: cvc5-1.0.0~58
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b1878c681842ac0169457adbdc6750e59ae7e35b;p=cvc5.git

Change CI concurrency policy to not queue on main (#8530)

Previously, we would only allow one job per branch/PR and only cancel old jobs on PRs.
This PR changes this policy to allow multiple jobs at once on main.
The way this is done basically follows https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#example-using-a-fallback-value.
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6173b741b..9ef262784 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -68,7 +68,7 @@ jobs:
 
     # cancel already running jobs for the same branch/pr/tag
     concurrency:
-      group: build-${{ github.ref }}-${{ matrix.name }}
+      group: build-${{ github.ref }}-${{ matrix.name }}-${{ github.ref != 'refs/heads/main' || github.run_id }}
       cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 
     steps: