From 1e458b33fc008b7b449508077c7229c2e78b8d2d Mon Sep 17 00:00:00 2001 From: Denis Rouzaud Date: Thu, 4 Jan 2024 09:35:35 +0100 Subject: [PATCH] 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 --- .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: