External/json
8
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

👷 add job to publish the documentation

Browse Source
This commit is contained in:
Niels Lohmann 2022-08-03 14:58:07 +02:00
parent 9fe14a8336
commit 0e64c58d32
No known key found for this signature in database
GPG Key ID: 7F3CEA63AE251B69
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/publish_documentation.yml vendored
View File

@ -18,7 +18,9 @@ jobs:
steps:
- uses: actions/checkout@v3
- name: Install PlantUML
run: sudo apt-get install -y plantuml ; which plantuml ; plantuml -version ; cat $(which 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 ; 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