28 lines
801 B
YAML
28 lines
801 B
YAML
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 update ; sudo apt-get install -y plantuml
|
|
- 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
|