Merge #304

304: Fix `versioned_image_name`. r=reitermarkus a=reitermarkus Co-authored-by: Markus Reiter <me@reitermark.us>
cross-rs · Sep 6, 2019 · ac3ee53 · ac3ee53
2 parents 8d82312 + 9508672
commit ac3ee53
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