ci: Fix mike error (#13962)

PaddlePaddle · Oct 10, 2024 · 1e07c84 · 1e07c84
1 parent dba34d2
commit 1e07c84
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build_publish_develop_docs.yml b/.github/workflows/build_publish_develop_docs.yml
@@ -27,5 +27,6 @@ jobs:
             mkdocs-material-
       - run: pip install mike mkdocs-material jieba mkdocs-git-revision-date-localized-plugin mkdocs-git-committers-plugin-2 mkdocs-static-i18n
       - run: |
+          git fetch origin gh-pages --depth=1
           mike deploy --push --update-aliases main latest
           mike set-default --push latest