diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 724f096..ac5d8c1 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -34,17 +34,21 @@ jobs: git config user.name "github-actions[bot]" git config user.email "github-actions[bot]@users.noreply.github.com" - - name: Deploy dev docs (push to main) + - name: Deploy docs (push to main) if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' run: | PROJECT_VERSION=$(mvn help:evaluate -Dexpression=project.version --quiet -DforceStdout) - mike deploy --push --update-aliases "${PROJECT_VERSION}" dev - # mike deploy --push --update-aliases dev - # mike set-default dev --push + if [[ "${PROJECT_VERSION}" == *-SNAPSHOT ]]; then + ALIAS="dev" + else + ALIAS="prod" + fi + mike deploy --push --update-aliases "${PROJECT_VERSION}" "${ALIAS}" + mike set-default "${ALIAS}" --push - name: Deploy versioned docs (release) if: github.event_name == 'release' run: | VERSION=${GITHUB_REF_NAME} - mike deploy --push --update-aliases "${VERSION}" latest - mike set-default latest --push + mike deploy --push --update-aliases "${VERSION}" release + mike set-default release --push diff --git a/mkdocs.yml b/mkdocs.yml index 0897930..e09f767 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -92,6 +92,8 @@ extra: default: - dev - latest + - prod + - release social: - icon: fontawesome/brands/github link: https://github.com/modelcontextprotocol/java-sdk