+title "uploading images"
+
+if [[ "$ECODE" == "0" ]]; then
+ docker_push arvados/api
+ docker_push arvados/compute
+ docker_push arvados/doc
+ docker_push arvados/workbench
+ docker_push arvados/keep
+ docker_push arvados/shell
+else
+ title "upload arvados images SKIPPED because build failed"
+fi
+
+title "upload arvados images complete"
+