diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index bb2235eb23..ef3637af41 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