diff --git a/.github/workflows/docs-build.yml b/.github/workflows/docs-build.yml index 2ca03615e..747c72294 100644 --- a/.github/workflows/docs-build.yml +++ b/.github/workflows/docs-build.yml @@ -68,7 +68,7 @@ jobs: if [ "${{ steps.current.outputs.result }}" = "${{ steps.latest.outputs.result }}" ] then # Here we deploy a new latest version - mike deploy latest ${{ steps.current.outputs.result }} --config-file docs/mkdocs.yml --update-aliases --push --remote doc + mike deploy latest ${{ steps.current.outputs.result }} --config-file docs/mkdocs.yml --update-aliases --alias-type=redirect --push --remote doc else # Here we deploy a version that's not the latest one mike deploy ${{ steps.current.outputs.result }} --config-file docs/mkdocs.yml --push --remote doc