change concurrency group to use the workflow name and branch running it

runtimeverification · Feb 7, 2024 · 8024db4 · 8024db4
1 parent 17f6e5b
commit 8024db4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: