diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 4f91293c..56f80776 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -209,16 +209,14 @@ jobs: name: Publish Docs needs: [doc-book] runs-on: ubuntu-22.04 - if: github.event_name == 'push' && github.ref == 'refs/heads/main' + #if: github.event_name == 'push' && github.ref == 'refs/heads/main' steps: - uses: actions/checkout@v4 - name: Download book uses: actions/download-artifact@v4 with: name: doc-book - - name: Assemble gh-pages - run: | - mv doc-book gh-pages + path: gh-pages # If this is a push to the main branch push to the `gh-pages` using a # deploy key. Note that a deploy key is necessary for now because otherwise # using the default token for github actions doesn't actually trigger a page