From ba47d6baaf44175f68ab0c8f22620de7f65df266 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 | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 01d25b8246..4097f9eb57 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -168,6 +168,27 @@ jobs: with: name: doc-coverage path: doc/doc-coverage.json + - 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