fix github ci push of slim image

ika-rwth-aachen · Oct 25, 2024 · c453ad8 · c453ad8
1 parent 13b1ab1
commit c453ad8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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_IMAGE_PUSH}" != "true" || "${ENABLE_SINGLEARCH_PUSH}" == "true" ]] && docker tag "${slim_image}" "${slim_image//-${PLATFORM}}"
             docker push "${slim_image}"
         else
             cd dist_linux*