From 72a2f18c0421584c2df7c07766b57e03fb371286 Mon Sep 17 00:00:00 2001 From: David Badura Date: Tue, 5 Nov 2024 11:27:28 +0100 Subject: [PATCH] fix docs deployment --- .github/workflows/docs-build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docs-build.yml b/.github/workflows/docs-build.yml index ba7f52ef..ab77f706 100644 --- a/.github/workflows/docs-build.yml +++ b/.github/workflows/docs-build.yml @@ -74,7 +74,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 --title="${{ steps.current.outputs.result }} (latest)" --update-aliases --alias-type=redirect --push --remote doc + mike deploy latest --config-file docs/mkdocs.yml --title="${{ steps.current.outputs.result }} (latest)" --update-aliases --alias-type=redirect --push --remote doc elif [ "$current_major" -lt "$latest_major" ] || \ { [ "$current_major" -eq "$latest_major" ] && [ "$current_minor" -lt "$latest_minor" ]; } then