Update mkdocs build action (#1458)

This commit is contained in:
trapexit 2025-05-09 21:46:02 -05:00 • committed by GitHub
parent 923d9608e8
commit d8d935a7aa
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -38,8 +38,8 @@ jobs:
REF_NAME: ${{ github.ref_name }}
run: |
if [ "$REF_TYPE" = "tag" ]; then
mike deploy --push --update-aliases "$REF_NAME" latest
mike set-default --push latest
mike deploy "$REF_NAME" "latest" --push --allow-empty --ignore-remote-status --update-aliases
mike set-default --push "latest"
elif [ "$REF_TYPE" = "branch" ] && [ "$REF_NAME" = "master" ]; then
mike deploy --push master
mike deploy master --push --ignore-remote-status --allow-empty
fi