From 76272373a4db399d53a8499ce60f73154c046a5e Mon Sep 17 00:00:00 2001
From: Arthur Meyre <arthur.meyre@zama.ai>
Date: Tue, 16 Nov 2021 10:55:58 +0100
Subject: [PATCH] chore: fix compiler tag in CI env docker push

---
 script/actions_utils/gh_dl_release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/actions_utils/gh_dl_release.sh b/script/actions_utils/gh_dl_release.sh
index 9107bfc65..e939560d2 100755
--- a/script/actions_utils/gh_dl_release.sh
+++ b/script/actions_utils/gh_dl_release.sh
@@ -120,6 +120,6 @@ wget --auth-no-challenge --header='Accept:application/octet-stream' \
 err_code=$?
 
 echo "Done."
-echo "CONCRETEFHE_COMPILER_TAG=${release_tag}" >> "${COMPILER_TAG_OUTPUT_FILE}"
+echo "${release_tag}" >> "${COMPILER_TAG_OUTPUT_FILE}"
 
 exit "${err_code}"