ci(deploy_docs.yaml): change latest from alias to identifier

Michele-Alberti · Nov 12, 2024 · 48695ff · 48695ff
1 parent a927770
commit 48695ff
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/deploy_docs.yaml b/.github/workflows/deploy_docs.yaml
@@ -52,13 +52,17 @@ jobs:
       - name: Set build alias for development
         if: github.ref_name == 'development'
         run: |
-          ALIAS=latest
+          VERSION=latest
+          ALIAS=""
+          echo "version: $VERSION"
+          echo "version=$VERSION" >> $GITHUB_ENV
           echo "alias: $ALIAS"
           echo "alias=$ALIAS" >> $GITHUB_ENV
       - name: Set build alias 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