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