1 name: docs-publish-pages
11 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
17 - uses: actions/checkout@v2
18 - name: Install dependencies
20 sudo apt-get install -y \
22 python3-sphinx-rtd-theme
25 cmake -DBUILD_DOCSONLY=ON -DBUILD_DOCS_HTML=ON -DBUILD_DOCS_MAN=OFF -S . -B build
29 - uses: crazy-max/ghaction-github-pages@v2
34 allow_empty_commit: false
35 build_dir: build/docs/html
37 ${{ github.event.push.pusher }} pushed the following commits:\
39 ${{ join(github.event.push.commits.*.message, '\n\n') }}\
41 ${{ github.event.push.compare }}