diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 17b0f05f463..87b156300af 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -46,8 +46,8 @@ jobs: git config --local user.name "github-actions[bot]" - name: deploy doc in subdirectory - run: mike deploy $(echo ${{ github.event.ref }} | sed -e "s#refs/heads/##g") --push + run: mike deploy $(echo ${{ github.ref }} | sed -e "s#refs/heads/##g") --push - name: deploy doc and update alias 'latest' to the new doc deployment if: github.event_name == 'release' && github.event.action == 'created' - run: mike --push --update-aliases $(echo ${{ github.event.ref }} | sed -e "s#refs/heads/##g") latest \ No newline at end of file + run: mike --push --update-aliases $(echo ${{ github.ref }} | sed -e "s#refs/heads/##g") latest \ No newline at end of file