diff --git a/.github/workflows/on-push.yml b/.github/workflows/on-push.yml index baa983ef..c4f44668 100644 --- a/.github/workflows/on-push.yml +++ b/.github/workflows/on-push.yml @@ -129,3 +129,9 @@ jobs: - name: Build documentation run: | make docs-build + - name: Deploy documentation + if: github.ref == 'refs/heads/main' + uses: peaceiris/actions-gh-pages@v3 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./docs/_build/html