diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pages.yml | 1 | ||||
| -rw-r--r-- | .github/workflows/python-publish.yml | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index f2d87bf2..665f57ba 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -38,5 +38,4 @@ 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 505a9ef0..e50381d0 100644 --- a/.github/workflows/python-publish.yml +++ b/.github/workflows/python-publish.yml @@ -40,7 +40,6 @@ 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: | |