From 151b0d354640812b672e4914ee26dbec186492cf Mon Sep 17 00:00:00 2001 From: Ewoud Kohl van Wijngaarden Date: Mon, 21 Mar 2022 14:23:42 +0100 Subject: [PATCH] Document github.ref_name instead of .head_ref head_ref is only available in pull requests. ref_name is also available on push. --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index e1250f4..45cd798 100644 --- 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: