fix(docs): workaround for mike 2.0 bug

ThinkChaos · Jan 8, 2024 · 7fd7b6f · 7fd7b6f
1 parent 971232b
commit 7fd7b6f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -38,7 +38,7 @@ jobs:
             EXTRA_ALIAS=latest
             echo "EXTRA_ALIAS=$EXTRA_ALIAS" >&2
           fi
-          (set -x; mike deploy --push --update-aliases "$VERSION" $EXTRA_ALIAS)
+          (set -x; mike deploy --push --update-aliases "$VERSION" $EXTRA_ALIAS --alias-type=redirect)
           tr '[:upper:]' '[:lower:]' <<< "https://${{github.repository_owner}}.github.io/${{github.event.repository.name}}/$VERSION/" >> "$GITHUB_STEP_SUMMARY"
           if [ -n "$EXTRA_ALIAS" ]; then
             tr '[:upper:]' '[:lower:]' <<< "https://${{github.repository_owner}}.github.io/${{github.event.repository.name}}/$EXTRA_ALIAS/" >> "$GITHUB_STEP_SUMMARY"