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