diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 75c10a8..a1fa3cd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -25,7 +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: git pull origin gh-pages -r - - run: mike deploy --push --update-aliases main latest - run: mike set-default main + - run: mike deploy --push --update-aliases main latest