From 19926a69cd02c12d8def04bb4624969ecdedcb41 Mon Sep 17 00:00:00 2001 From: SWHL Date: Thu, 24 Oct 2024 11:10:10 +0800 Subject: [PATCH] ci: Support seperate update of branch docs (#14079) --- .github/workflows/build_publish_develop_docs.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build_publish_develop_docs.yml b/.github/workflows/build_publish_develop_docs.yml index 604c54da04..a4cf1842ae 100644 --- a/.github/workflows/build_publish_develop_docs.yml +++ b/.github/workflows/build_publish_develop_docs.yml @@ -4,6 +4,8 @@ on: branches: - master - main + - "release/**" + permissions: contents: write jobs: @@ -14,7 +16,7 @@ jobs: - name: Configure Git Credentials run: | git config user.name github-actions[bot] - git config user.email 41898282+github-actions[bot]@users.noreply.github.com + git config user.email github-actions[bot]@users.noreply.github.com - uses: actions/setup-python@v5 with: python-version: 3.x @@ -28,4 +30,6 @@ jobs: - 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 deploy --push ${{ github.ref_name }} + mike alias main latest + mike set-default main