diff --git a/.github/workflows/ci-main.yml b/.github/workflows/ci-main.yml index 95abaa9566e..4d5fa516690 100644 --- a/.github/workflows/ci-main.yml +++ b/.github/workflows/ci-main.yml @@ -109,6 +109,14 @@ jobs: run: | make sphinx + - name: Deploy Docs + if: ${{ github.event_name == 'push' }} + uses: JamesIves/github-pages-deploy-action@v4.3.3 + with: + branch: gh-pages + folder: docs/build/html + target-folder: docs + Tests: runs-on: "${{ matrix.os }}" needs: Lint