From 3e2c9c0bdd636c9d5dbbeeff1ed46b110496dda9 Mon Sep 17 00:00:00 2001
From: Michele-Alberti <62114934+Michele-Alberti@users.noreply.github.com>
Date: Tue, 12 Nov 2024 02:42:18 +0100
Subject: [PATCH] ci(deploy_docs.yaml): change latest from alias to identifier

---
 .github/workflows/deploy_docs.yaml | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

diff --git a/.github/workflows/deploy_docs.yaml b/.github/workflows/deploy_docs.yaml
index c898941..b2db2b2 100644
--- a/.github/workflows/deploy_docs.yaml
+++ b/.github/workflows/deploy_docs.yaml
@@ -49,22 +49,17 @@ jobs:
           VERSION="v$MAJOR_MINOR_VERSION"
           echo "current version (major-minor): $VERSION"
           echo "version=$VERSION" >> $GITHUB_ENV
-      - name: Set build alias for development
+      - name: Build and deploy documentation for development
         if: github.ref_name == 'development'
         run: |
-          ALIAS=latest
-          echo "alias: $ALIAS"
-          echo "alias=$ALIAS" >> $GITHUB_ENV
-      - name: Set build alias for tagged version
+          mike deploy --push --update-aliases latest 
+      - name: Build and deploy documentation for tagged version
         if: startsWith(github.event.ref, 'refs/tags/v')
         run: |
           ALIAS=stable
+          echo "version: $VERSION"
           echo "alias: $ALIAS"
-          echo "alias=$ALIAS" >> $GITHUB_ENV
-      - name: Build and deploy documentation
-        # Use mike to deploy the current version of the documentation
-        # `--push` pushes directly to the gh-pages branch on GitHub
-        run: mike deploy --push --update-aliases "${{ env.version }}" "${{ env.alias }}"
+          mike deploy --push --update-aliases "$VERSION" "$ALIAS"
       - name: Update default (stable)
         if: ${{ env.alias }} == 'stable'
         run: mike set-default --push stable