name: Publish documentation

# publish the documentation on every merge to develop
on:
  push:
    branches:
      - develop
      - documentation_update # TODO: remove before merging

# we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications
concurrency:
  group: documentation
  cancel-in-progress: false

jobs:
  publish_documentation:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
      - 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 ; 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
        run: make build -C docs/mkdocs
      - name: Publish documentation
        run: make publish -C docs/mkdocs