diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 47ed9b25..721bdb63 100755 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -601,6 +601,21 @@ jobs: separator: "/" msg: ${{ github.repository }} + - name: Unzip docs + if: ${{ contains(github.ref, 'refs/heads/main') }} + run: | + mkdir userguide + unzip artifacts/mig-docs-${{ env.SEMVER }}.zip -d userguide/ + ls -lR userguide/ + + - name: Deploy Docs + uses: peaceiris/actions-gh-pages@v3 + if: ${{ contains(github.ref, 'refs/heads/main') }} + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: userguide/ + publish_branch: docs + - name: Install GitReleaseManager uses: gittools/actions/gitreleasemanager/setup@v0.10.2 with: @@ -636,18 +651,3 @@ jobs: owner: ${{ steps.repo.outputs._0 }} repository: ${{ steps.repo.outputs._1 }} milestone: ${{ env.MAJORMINORPATCH }} - - - name: Unzip docs - if: ${{ contains(github.ref, 'refs/heads/main') }} - run: | - mkdir userguide - unzip artifacts/mig-docs-${{ env.SEMVER }}.zip -d userguide/ - ls -lR userguide/ - - - name: Deploy Docs - uses: peaceiris/actions-gh-pages@v3 - if: ${{ contains(github.ref, 'refs/heads/main') }} - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: userguide/ - publish_branch: docs