From d249eab793b6a456c3c079e5ff9035b333fce359 Mon Sep 17 00:00:00 2001 From: Niels Lohmann Date: Wed, 3 Aug 2022 18:17:33 +0200 Subject: [PATCH] :construction_worker: add job to publish the documentation --- .github/workflows/publish_documentation.yml | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml index 427c594db..247bdd566 100644 --- a/.github/workflows/publish_documentation.yml +++ b/.github/workflows/publish_documentation.yml @@ -4,7 +4,8 @@ name: Publish documentation on: push: branches: - - develop + #- develop + - documentation_update # we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications concurrency: @@ -13,18 +14,12 @@ concurrency: jobs: publish_documentation: - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 steps: - uses: actions/checkout@v3 - # We need a recent PlantUML version to generate UML diagrams. The version from Ubuntu is outdated, so we - # need to replace the JAR file with a release from PlantUML's GitHub page. - name: Install and update PlantUML - run: | - sudo apt-get install -y plantuml - 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 + run: sudo apt-get install -y plantuml - name: Install virtual environment run: make install_venv -C docs/mkdocs