diff options
| author | 2023-10-07 07:38:50 +0800 | |
|---|---|---|
| committer | 2023-10-07 07:38:50 +0800 | |
| commit | 1d61716d07eafa928a90bb51e311d5a66778cad6 (patch) | |
| tree | 2c80d18839814b5db508c27be57fa6c305983aad /.github | |
| parent | 67d412c660ebc6fa52015094a7fbf3bd85fa6f4b (diff) | |
| download | infini-1d61716d07eafa928a90bb51e311d5a66778cad6.tar.gz infini-1d61716d07eafa928a90bb51e311d5a66778cad6.zip | |
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pages.yml | 1 | ||||
| -rw-r--r-- | .github/workflows/python-publish.yml | 1 |
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: | |
