From 582933cbf3b2a878a68ee09cfe1338fadaaecd6d Mon Sep 17 00:00:00 2001 From: Niels Lohmann Date: Wed, 3 Aug 2022 14:59:13 +0200 Subject: [PATCH] :construction_worker: add job to publish the documentation --- .github/workflows/publish_documentation.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml index 0ce394331..269282813 100644 --- a/.github/workflows/publish_documentation.yml +++ b/.github/workflows/publish_documentation.yml @@ -20,7 +20,7 @@ jobs: - name: Install PlantUML run: sudo apt-get install -y plantuml - name: Patch PlantUML - run: wget https://github.com/plantuml/plantuml/releases/download/v1.2022.6/plantuml-1.2022.6.jar ; mv plantuml-1.2022.6.jar /usr/share/plantuml/plantuml.jar ; plantuml -version + run: wget https://github.com/plantuml/plantuml/releases/download/v1.2022.6/plantuml-1.2022.6.jar ; sudo mv plantuml-1.2022.6.jar /usr/share/plantuml/plantuml.jar ; plantuml -version - name: Install virtual environment run: make install_venv -C docs/mkdocs - name: Build documentation