diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml index 16e6ca19..1f7e0766 100644 --- a/.github/workflows/publish_docs.yml +++ b/.github/workflows/publish_docs.yml @@ -7,6 +7,10 @@ on: types: [published] workflow_dispatch: +# Add a concurrency group so that doc publish doesn't interfere with each other. +concurrency: + group: publish-docs + jobs: docs: runs-on: ubuntu-latest