From 4654b93168e4b43d1600fb652247404b5c05300a Mon Sep 17 00:00:00 2001
From: PatTheMav <PatTheMav@users.noreply.github.com>
Date: Wed, 16 Aug 2023 17:05:17 +0200
Subject: [PATCH] CI: Do not cancel concurrent workflow runs for pushes to
 master

---
 .github/workflows/push.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml
index 7f196d16c..7f369b92d 100644
--- a/.github/workflows/push.yaml
+++ b/.github/workflows/push.yaml
@@ -13,7 +13,7 @@ permissions:
   contents: write
 concurrency:
   group: '${{ github.workflow }} @ ${{ github.ref }}'
-  cancel-in-progress: ${{ fromJSON(github.ref_type == 'tag') }}
+  cancel-in-progress: false
 jobs:
   check-format:
     name: Format 🔍