From ff108a3067864c403dc8a66e89b7b7a35a082142 Mon Sep 17 00:00:00 2001 From: Niels Lohmann Date: Wed, 3 Aug 2022 18:20:20 +0200 Subject: [PATCH] :construction_worker: add job to publish the documentation --- .github/workflows/publish_documentation.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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: