Skip to content
Documentation generation & update

Update api_levels.json #245

Sign in to view logs

Update api_levels.json

Update api_levels.json #245

Workflow file for this run

.github/workflows/documentation.yml at 625e3d0
name: Documentation generation & update
on:
push:
tags:
- '*'
branches:
- master
pull_request:
branches:
- master
jobs:
generate:
name: Generate the documentation
runs-on: ubuntu-latest
steps:
- name: Clone
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Install APT dependencies
run: |
sudo apt-get update
sudo apt-get install graphviz doxygen
- name: Generate the documentation
run: make doc
- name: Upload documentation bundle
uses: actions/upload-artifact@v4
with:
name: documentation
path: build/doc/html/
deploy:
name: Deploy the documentation on Github pages
runs-on: ubuntu-latest
needs: generate
if: github.event_name == 'push' && (github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/tags/'))
steps:
- name: Download documentation bundle
uses: actions/download-artifact@v4
- name: Deploy documentation on pages
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: documentation/