From 8024db484c530b36303a817f577603633f34589a Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Wed, 7 Feb 2024 13:15:50 -0700
Subject: [PATCH] change concurrency group to use the workflow name and branch
 running it

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

diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index 1e8127e7..501f8f00 100644
--- a/.github/workflows/test.yaml
+++ b/.github/workflows/test.yaml
@@ -6,7 +6,7 @@ on:
       - 'master'
   workflow_dispatch:
 concurrency:
-  group: 'pl-test'
+  group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 jobs: