fix github ci push of slim image

ika-rwth-aachen · Oct 25, 2024 · 3257ce0 · 3257ce0
1 parent 13b1ab1
commit 3257ce0
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_SINGLEARCH_PUSH}" != "true" ]] && docker tag "${slim_image}-${PLATFORM}" "${slim_image}"
             docker push "${slim_image}"
         else
             cd dist_linux*