From 9fe14a83364e3dba800d46a076b7036c18bb8b76 Mon Sep 17 00:00:00 2001 From: Niels Lohmann Date: Wed, 3 Aug 2022 10:10:54 +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 1c254e0ee..bae7701a0 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 install -y plantuml ; which plantuml ; plantuml -version + run: sudo apt-get install -y plantuml ; which plantuml ; plantuml -version ; cat $(which plantuml) - name: Install virtual environment run: make install_venv -C docs/mkdocs - name: Build documentation