From 0e64c58d32bc84b94456c4c8b3d77a8bb3737ea9 Mon Sep 17 00:00:00 2001 From: Niels Lohmann Date: Wed, 3 Aug 2022 14:58:07 +0200 Subject: [PATCH] :construction_worker: add job to publish the documentation --- .github/workflows/publish_documentation.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml index bae7701a0..0ce394331 100644 --- a/.github/workflows/publish_documentation.yml +++ b/.github/workflows/publish_documentation.yml @@ -18,7 +18,9 @@ jobs: steps: - uses: actions/checkout@v3 - name: Install PlantUML - run: sudo apt-get install -y plantuml ; which plantuml ; plantuml -version ; cat $(which 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 - name: Install virtual environment run: make install_venv -C docs/mkdocs - name: Build documentation