[docker]: remove docker images after docke push (#615)

This commit is contained in:
lguohan 2017-05-19 13:49:43 -07:00 committed by GitHub
parent 8b9bc6a5a4
commit 86befe0cfd

View File

@ -39,3 +39,4 @@ echo "Image sha256: $image_sha"
echo "Pushing $build_remote_image_name"
docker push $build_remote_image_name
docker rmi $build_remote_image_name || true
docker rmi $docker_image_name || true