From a5d3cfbe8aaa600cb7770a863b1d21770604ad74 Mon Sep 17 00:00:00 2001 From: Christian Tzolov Date: Mon, 16 Feb 2026 12:50:28 +0100 Subject: [PATCH] Add docs version support Signed-off-by: Christian Tzolov --- .github/workflows/docs.yml | 27 +++++++++++++++++++++++++-- mkdocs.yml | 3 +++ 2 files changed, 28 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 5eb3073..724f096 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -7,6 +7,9 @@ on: paths: - 'docs/**' - 'mkdocs.yml' + release: + types: + - published workflow_dispatch: permissions: @@ -17,11 +20,31 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 + with: + fetch-depth: 0 - uses: actions/setup-python@v5 with: python-version: 3.x - - run: pip install mkdocs-material + - run: pip install mkdocs-material mike - - run: mkdocs gh-deploy --force + - name: Configure git user + run: | + 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) + 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 + + - 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 diff --git a/mkdocs.yml b/mkdocs.yml index 9443e79..f11e0e8 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -86,6 +86,9 @@ plugins: - blog extra: + version: + provider: mike + alias: true social: - icon: fontawesome/brands/github link: https://github.com/modelcontextprotocol/java-sdk