From f3de7787a526c7b782fa460f1c370b395a71cd25 Mon Sep 17 00:00:00 2001
From: Mike Aizatsky <mike.aizatsky@gmail.com>
Date: Mon, 10 Oct 2016 15:35:07 -0700
Subject: [PATCH] Update Jenkinsfile

---
 infra/push-images/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infra/push-images/Jenkinsfile b/infra/push-images/Jenkinsfile
index c17dd8028..9d294da00 100644
--- a/infra/push-images/Jenkinsfile
+++ b/infra/push-images/Jenkinsfile
@@ -23,7 +23,7 @@ node() {
     docker.withRegistry('', 'docker-login') {
         for (int i = 0; i < images.size(); i++) {
             def image = images[i]
-            stage name: "Pushing $image"
+            stage name: "$image"
             docker.image(image).push()
         }
     }