From cbbdc26624ccbb0db45266f44937266023c7da37 Mon Sep 17 00:00:00 2001
From: OpenSauce04 <opensauce04@gmail.com>
Date: Tue, 2 Apr 2024 14:14:10 +0100
Subject: [PATCH] Updated filename format for release packages

---
 .ci/pack.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.ci/pack.sh b/.ci/pack.sh
index 1f180616b..7f423839d 100755
--- a/.ci/pack.sh
+++ b/.ci/pack.sh
@@ -8,6 +8,7 @@ REV_NAME="lime-$OS-$TARGET-$GITDATE-$GITREV"
 # Determine the name of the release being built.
 if [[ "$GITHUB_REF_TYPE" == "tag" ]]; then
     RELEASE_NAME=lime-$GITHUB_REF_NAME
+    REV_NAME="lime-$GITHUB_REF_NAME-$OS-$TARGET"
 else
     RELEASE_NAME=lime-head
 fi