Skip to content

Commit

Permalink
fix docs build
Browse files Browse the repository at this point in the history
  • Loading branch information
DavidBadura committed Nov 11, 2024
1 parent 0c76597 commit 3202907
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions .github/workflows/docs-build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -65,20 +65,20 @@ jobs:
- run: git fetch doc gh-pages --verbose

- run: |
current_major=$(echo "$version_current" | cut -d '.' -f 1)
current_minor=$(echo "$version_current" | cut -d '.' -f 2)
current_major=$(echo "${{ steps.current.outputs.result }}" | cut -d '.' -f 1)
current_minor=$(echo "${{ steps.current.outputs.result }}" | cut -d '.' -f 2)
latest_major=$(echo "$version_latest" | cut -d '.' -f 1)
latest_minor=$(echo "$version_latest" | cut -d '.' -f 2)
latest_major=$(echo "${{ steps.latest.outputs.result }}" | cut -d '.' -f 1)
latest_minor=$(echo "${{ steps.latest.outputs.result }}" | cut -d '.' -f 2)
if [ "${{ steps.current.outputs.result }}" = "${{ steps.latest.outputs.result }}" ]
then
# Here we deploy a new latest version
mike deploy latest --config-file docs/mkdocs.yml --title="${{ steps.current.outputs.result }} (latest)" --push --remote doc
elif [ "$current_major" -lt "$latest_major" ] || \
{ [ "$current_major" -eq "$latest_major" ] && [ "$current_minor" -lt "$latest_minor" ]; }
{ [ "$current_major" -eq "$latest_major" ] && [ "$current_minor" -lt "$latest_minor" ]; }
then
# Here we deploy a version that's not the latest one and smaller as the latest version
# Here we deploy a version that's not the latest one and smaller as the latest version
mike deploy ${{ steps.current.outputs.result }} --config-file docs/mkdocs.yml --push --remote doc
fi
- run: |
Expand All @@ -90,4 +90,4 @@ jobs:
then
echo "Set latest as default"
mike set-default latest --config-file docs/mkdocs.yml --remote doc
fi
fi

0 comments on commit 3202907

Please sign in to comment.