From 9967dc3f178ac8631af195efe523aaf23c5742da Mon Sep 17 00:00:00 2001
From: martincostello <martin@martincostello.com>
Date: Tue, 14 Nov 2023 11:06:02 +0000
Subject: [PATCH] Allow concurrent PR docs builds

Allow pull requests to run the github-pages workflow simultaneously, as deployments won't actually happen so they do not need to be protected from concurrency deployments.
---
 .github/workflows/gh-pages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 26fdd53e7e8..e56f31107d6 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -15,7 +15,7 @@ jobs:
     runs-on: ubuntu-latest
 
     concurrency:
-      group: ${{ github.workflow }}
+      group: ${{ github.event_name == 'pull_request' && github.event.ref || github.workflow }}
       cancel-in-progress: false
 
     permissions: