diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml index 247bdd566..c06d535f0 100644 --- a/.github/workflows/publish_documentation.yml +++ b/.github/workflows/publish_documentation.yml @@ -4,8 +4,7 @@ name: Publish documentation on: push: branches: - #- develop - - documentation_update + - develop # we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications concurrency: