diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 18e3196..5be279f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -25,5 +25,6 @@ jobs: - run: git config --global user.name "${GITHUB_ACTOR}" - run: git config --get user.name - run: git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com" - - run: mkdocs gh-deploy --force - # - run: mike deploy --push -f --update-aliases main latest + # - run: mkdocs gh-deploy --force + - run: mike deploy --push -f --update-aliases main latest + - run: mike set-default main