Fix versioned_image_name.

cross-rs · Sep 6, 2019 · 9508672 · 9508672
1 parent 8d82312
commit 9508672
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/ci/docker_push.sh b/ci/docker_push.sh
@@ -5,6 +5,9 @@ set -eux
 image_name="rustembedded/cross:${TARGET}"
 
 if [[ "${TAG-}" =~ ^v.* ]] && ! [[ "${TAG}" =~ alpha ]] && ! [[ "${TAG}" =~ dev ]]; then
+  version="${TAG##v}"
+  versioned_image_name="${image_name}-${version}"
+  docker tag "${image_name}" "${versioned_image_name}"
   docker push "${versioned_image_name}"
 fi