From 9731888554ca9e92533b4652bc85b9da13e30011 Mon Sep 17 00:00:00 2001
From: hav-johwal <166103136+hav-johwal@users.noreply.github.com>
Date: Wed, 22 Jan 2025 15:35:52 +0100
Subject: [PATCH] ci: remove dev alias when releasing

Mike doesn't have support for changing version -> alias.
---
 .github/workflows/build-documentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build-documentation.yml b/.github/workflows/build-documentation.yml
index c417110..562106d 100644
--- a/.github/workflows/build-documentation.yml
+++ b/.github/workflows/build-documentation.yml
@@ -47,7 +47,7 @@ jobs:
           export VERSION_WITHOUT_PATCH_PART=$(echo "$FULL_VERSION" | grep -Po '(\d+\.\d+)' | head -n1)
           echo "UVMS_GIT_TAG=$(./getNextVersion.sh uvms $FULL_VERSION)" >> $GITHUB_ENV
           echo "UVMS_FULL_VERSION=$FULL_VERSION" >> $GITHUB_ENV
-          echo "UVMS_VERSION_AND_ALIASES=$VERSION_WITHOUT_PATCH_PART latest dev" >> $GITHUB_ENV
+          echo "UVMS_VERSION_AND_ALIASES=$VERSION_WITHOUT_PATCH_PART latest" >> $GITHUB_ENV
 
       - name: Update versions
         id: update-version