feat: update deploy workflow to include alias updates during documentation build

2026-04-23 06:54:41 +00:00 · 2025-06-06 12:17:45 +00:00
parent bb28f7e1d9
commit 4efb2c805c
1 changed files with 1 additions and 1 deletions
@@ -54,6 +54,6 @@ jobs:
          git checkout main

      - name: Build the documentation
-        run: uv run mike deploy --push ${{ github.event.inputs.version }} latest
+        run: uv run mike deploy --push --update-aliases ${{ github.event.inputs.version }} latest
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}