if [[ "$ECODE" == "0" ]]; then
docker_push arvados/jobs
else
title "upload arvados/jobs image SKIPPED because build failed"
fi
if [[ "$ECODE" == "0" ]]; then
docker_push arvados/jobs
else
title "upload arvados/jobs image SKIPPED because build failed"
fi