From 9a0a031da066d6adab66a32dc460483cc03b1f76 Mon Sep 17 00:00:00 2001 From: Matthew Andres Moreno Date: Fri, 8 Dec 2023 16:05:44 -0500 Subject: [PATCH] Deploy docs to github pages --- .github/workflows/CI.yml | 23 ++++++++++++++++++++++- 1 file changed, 22 insertions(+), 1 deletion(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index bb2235eb23..2d6c86bbfe 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -168,7 +168,28 @@ jobs: with: name: doc-coverage path: doc/doc-coverage.json - deploy-documentation-coverage: + - uses: actions/upload-artifact@v2 + with: + name: documentation-html + path: doc/_build/html + deploy-to-gh-pages: + name: Deploy Documentation to GitHub Pages + runs-on: ubuntu-22.04 + needs: test-documentation + if: github.ref == 'refs/heads/master' + steps: + - uses: actions/checkout@v3 + - name: Download artifact + uses: actions/download-artifact@v2 + with: + name: documentation-html + path: doc/_build/html + - name: Deploy to GitHub Pages + uses: peaceiris/actions-gh-pages@v3 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./doc/_build/html +deploy-documentation-coverage: name: Deploy Documentation Coverage runs-on: ubuntu-22.04 if: github.ref == 'refs/heads/master'