From 3257ce0bc1e9424e9f9110e6f975a36cada8996a Mon Sep 17 00:00:00 2001
From: Lennart Reiher <lennart.reiher@ika.rwth-aachen.de>
Date: Fri, 25 Oct 2024 22:32:59 +0000
Subject: [PATCH] fix github ci push of slim image

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

diff --git a/scripts/ci.sh b/scripts/ci.sh
index f91144d..82d4ff8 100755
--- a/scripts/ci.sh
+++ b/scripts/ci.sh
@@ -97,6 +97,7 @@ for PLATFORM in "${PLATFORMS[@]}"; do
         [[ "${_ENABLE_IMAGE_PUSH}" != "true" || "${ENABLE_SINGLEARCH_PUSH}" == "true" ]] && image="${image}-${PLATFORM}"
         [[ "${_ENABLE_IMAGE_PUSH}" != "true" || "${ENABLE_SINGLEARCH_PUSH}" == "true" ]] && slim_image="${slim_image}-${PLATFORM}"
         if [[ "${_ENABLE_IMAGE_PUSH}" == "true" || "${ENABLE_SINGLEARCH_PUSH}" == "true" ]]; then
+            [[ "${ENABLE_SINGLEARCH_PUSH}" != "true" ]] && docker tag "${slim_image}-${PLATFORM}" "${slim_image}"
             docker push "${slim_image}"
         else
             cd dist_linux*