From 363f154f5977b371170d9ce7361af30c9a3d9f10 Mon Sep 17 00:00:00 2001 From: AJ Kerrigan Date: Thu, 5 May 2022 12:35:44 -0600 Subject: [PATCH] ci - deploy docs to gh-pages on push to main (#7237) Co-authored-by: Jorge Castro --- .github/workflows/ci-main.yml | 8 ++++++++ 1 file changed, 8 insertions(+) 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