diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index a80720db..0f084ddb 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -404,3 +404,10 @@ jobs: set -e # Check that docs are built without errors cd docs/ && make html && cd .. + - name: Deploy docs + uses: JamesIves/github-pages-deploy-action@3.7.1 + with: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + BRANCH: gh-pages + FOLDER: docs/build/html + CLEAN: true \ No newline at end of file