From a76a20787c2c42e0097e8731118dc57c3e4d17f4 Mon Sep 17 00:00:00 2001
From: Denis Rouzaud <denis.rouzaud@gmail.com>
Date: Thu, 4 Jan 2024 09:30:35 +0100
Subject: [PATCH] avoid doc building cancel

this would avoid canceling the workflow of a release in the rare case of a pull request being created during the process
---
 .github/workflows/docs_builder.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs_builder.yml b/.github/workflows/docs_builder.yml
index 5bbf57de..f6b2a732 100644
--- a/.github/workflows/docs_builder.yml
+++ b/.github/workflows/docs_builder.yml
@@ -25,7 +25,7 @@ permissions:
 
 # Allow one concurrent deployment
 concurrency:
-  group: "pages"
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true
 
 env: