From 4efb2c805cefb45fb49aad6e02c92a8edd2ab9d7 Mon Sep 17 00:00:00 2001 From: zurdi Date: Fri, 6 Jun 2025 12:17:45 +0000 Subject: [PATCH] feat: update deploy workflow to include alias updates during documentation build --- .github/workflows/deploy.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index fa8c716..7088a98 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -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 }}