From 95c57d553e39632ce8fb6e6b4059d1b21a734678 Mon Sep 17 00:00:00 2001 From: Welbert Castro Date: Fri, 8 May 2026 13:47:50 -0300 Subject: [PATCH] ci: deploy docs on main as latest; tags publish version snapshots only - Run deploy-docs on main pushes and v* tags - Main: mike deploy latest + set-default latest - Tags: mike deploy only the tag version (leave latest unchanged) Co-authored-by: Cursor --- .github/workflows/release.yml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 6d89bd7..51d80b7 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -64,7 +64,7 @@ jobs: deploy-docs: name: Deploy docs to GitHub Pages needs: build - if: startsWith(github.ref, 'refs/tags/v') + if: github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags/v') runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 @@ -83,6 +83,9 @@ jobs: run: | git config user.name github-actions git config user.email github-actions@github.com - VERSION=${GITHUB_REF_NAME} - mike deploy --push --update-aliases "$VERSION" latest - mike set-default --push latest + if [[ "$GITHUB_REF" == refs/tags/v* ]]; then + mike deploy --push "$GITHUB_REF_NAME" + else + mike deploy --push latest + mike set-default --push latest + fi