From a0b42d1e6b6b4d960b4ff6b823dd5aa28b072d53 Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Mon, 23 Oct 2023 14:33:56 -0600
Subject: [PATCH] Concurrency, don't interrupt ongoing releases during testing

---
 .github/workflows/release.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 156be928efd..d0179ad6705 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -7,9 +7,9 @@ on:
   push:
     branches:
       - hotfix/release-investigation
-      
+
 concurrency:
-  group: ${{ github.workflow }}
+  group: ${{ github.workflow }}-test
 
 jobs: