From 465b7785fe54c0935fcf9633926033dcdb591196 Mon Sep 17 00:00:00 2001 From: Niels Lohmann Date: Wed, 3 Aug 2022 10:09:29 +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 c21188d40..1c254e0ee 100644 --- a/.github/workflows/publish_documentation.yml +++ b/.github/workflows/publish_documentation.yml @@ -18,7 +18,7 @@ jobs: steps: - uses: actions/checkout@v3 - name: Install PlantUML - run: sudo apt-get update ; sudo apt-get install -y plantuml + run: sudo apt-get install -y plantuml ; which plantuml ; plantuml -version - name: Install virtual environment run: make install_venv -C docs/mkdocs - name: Build documentation