Explicitly push tag and tag_plot images

pull/4415/head
Matthias 5 years ago
parent fedbb5c0c4
commit 87dc1d3955

@ -51,6 +51,8 @@ fi
docker images
docker push ${IMAGE_NAME}
docker push ${IMAGE_NAME}:$TAG_PLOT
docker push ${IMAGE_NAME}:$TAG
if [ $? -ne 0 ]; then
echo "failed pushing repo"
return 1

Loading…
Cancel
Save