aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github
diff options
context:
space:
mode:
author简律纯 <i@jyunko.cn>2023-10-07 07:38:50 +0800
committer简律纯 <i@jyunko.cn>2023-10-07 07:38:50 +0800
commit1d61716d07eafa928a90bb51e311d5a66778cad6 (patch)
tree2c80d18839814b5db508c27be57fa6c305983aad /.github
parent67d412c660ebc6fa52015094a7fbf3bd85fa6f4b (diff)
downloadinfini-1d61716d07eafa928a90bb51e311d5a66778cad6.tar.gz
infini-1d61716d07eafa928a90bb51e311d5a66778cad6.zip
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/pages.yml1
-rw-r--r--.github/workflows/python-publish.yml1
2 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 665f57ba..f2d87bf2 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -38,4 +38,5 @@ jobs:
git config --local user.name "GitHub Action"
git fetch origin gh-pages:gh-pages
pdm run mike deploy --update-aliases dev
+ mike set-default --push latest
git push origin gh-pages
diff --git a/.github/workflows/python-publish.yml b/.github/workflows/python-publish.yml
index 6b3c0ac9..346d4e22 100644
--- a/.github/workflows/python-publish.yml
+++ b/.github/workflows/python-publish.yml
@@ -39,6 +39,7 @@ jobs:
tag="${{ github.ref_name }}"
DOC_VERSION=${tag%.*}
pdm run mike deploy --no-redirect --update-aliases "$DOC_VERSION" latest
+ mike set-default --push latest
git push origin gh-pages
- run: |