diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml index bdeee1c3a..68eef8c10 100644 --- a/.github/workflows/publish_docs.yml +++ b/.github/workflows/publish_docs.yml @@ -8,8 +8,9 @@ on: workflow_dispatch: # Add a concurrency group so that doc publish doesn't interfere with each other. -concurrency: +concurrency: group: publish-docs + cancel-in-progress: false jobs: docs: