avoid doc building cancel (#273)

this would avoid canceling the workflow of a release in the rare case of a pull request being created during the process
opengisch · Jan 4, 2024 · 1e458b3 · 1e458b3
1 parent e1e114e
commit 1e458b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: