1 name: docs-publish-pages
14 - uses: actions/checkout@v2
15 - name: Install dependencies
17 sudo apt-get install -y \
19 python3-sphinx-rtd-theme
22 cmake -DBUILD_DOCSONLY=ON -DBUILD_DOCS_MAN=OFF -S . -B build
26 - uses: crazy-max/ghaction-github-pages@v2
31 allow_empty_commit: false
32 build_dir: build/docs/html
34 ${{ github.event.push.pusher }} pushed to following commits:\
36 ${{ join(github.event.push.commits.*.message, '\n\n') }}\
38 ${{ github.event.push.compare }}