diff --git a/.github/workflows/build-docs.yaml b/.github/workflows/build-docs.yaml index e83d30f..aed3d09 100644 --- a/.github/workflows/build-docs.yaml +++ b/.github/workflows/build-docs.yaml @@ -42,3 +42,9 @@ jobs: with: name: docs.pdf path: docs.pdf + + - name: Deploy + uses: peaceiris/actions-gh-pages@v4 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: doc/build/html