From ba7408209e84ee413f240afc20f3c6b484a81f8f Mon Sep 17 00:00:00 2001
From: Adam Turner <9087854+aa-turner@users.noreply.github.com>
Date: Sat, 29 Apr 2023 22:44:55 +0100
Subject: [PATCH] Change concurrency groups for GitHub workflows

This means that 'push' triggered workflows are not cancelled.
---
 .github/workflows/builddoc.yml | 2 +-
 .github/workflows/latex.yml    | 2 +-
 .github/workflows/lint.yml     | 2 +-
 .github/workflows/main.yml     | 2 +-
 .github/workflows/nodejs.yml   | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/builddoc.yml b/.github/workflows/builddoc.yml
index bcf6e91d80a..0ad89682e16 100644
--- a/.github/workflows/builddoc.yml
+++ b/.github/workflows/builddoc.yml
@@ -6,7 +6,7 @@ permissions:
   contents: read
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
   cancel-in-progress: true
 
 jobs:
diff --git a/.github/workflows/latex.yml b/.github/workflows/latex.yml
index 857a6ede8fd..1eaeccaa99a 100644
--- a/.github/workflows/latex.yml
+++ b/.github/workflows/latex.yml
@@ -6,7 +6,7 @@ permissions:
   contents: read
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
   cancel-in-progress: true
 
 jobs:
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index fb23ae1a927..963906e822c 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -6,7 +6,7 @@ permissions:
   contents: read
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
   cancel-in-progress: true
 
 env:
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 8db64c118d0..d96481d6ba9 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -6,7 +6,7 @@ permissions:
   contents: read
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
   cancel-in-progress: true
 
 env:
diff --git a/.github/workflows/nodejs.yml b/.github/workflows/nodejs.yml
index d021748578d..184d33211a3 100644
--- a/.github/workflows/nodejs.yml
+++ b/.github/workflows/nodejs.yml
@@ -6,7 +6,7 @@ permissions:
   contents: read
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
   cancel-in-progress: true
 
 jobs: