Merge pull request #14 from ekohl/use-ref-name

Document github.ref_name instead of .head_ref
voxpupuli · Mar 21, 2022 · 238b8d0 · 238b8d0
2 parents 1da427c + 151b0d3
commit 238b8d0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -96,7 +96,7 @@ name: CI
 on: pull_request
 
 concurrency:
-  group: ${{ github.head_ref }}
+  group: ${{ github.ref_name }}
   cancel-in-progress: true
 
 jobs:
@@ -126,7 +126,7 @@ name: CI
 on: pull_request
 
 concurrency:
-  group: ${{ github.head_ref }}
+  group: ${{ github.ref_name }}
   cancel-in-progress: true
 
 jobs:
@@ -205,7 +205,7 @@ name: CI
 on: pull_request
 
 concurrency:
-  group: ${{ github.head_ref }}
+  group: ${{ github.ref_name }}
   cancel-in-progress: true
 
 jobs: