1 name: docs-publish-pages
15 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
21 - uses: actions/checkout@v2
22 - name: Install dependencies
24 sudo apt-get update -y
25 sudo apt-get install -y \
28 python3-sphinx-rtd-theme
31 cmake -DBUILD_DOCSONLY=ON -DBUILD_DOCS_HTML=ON -DBUILD_DOCS_MAN=OFF -S . -B build
35 - uses: crazy-max/ghaction-github-pages@v2
40 allow_empty_commit: false
41 build_dir: build/docs/html