From a58c0d8f651d456515fd4b237267cebb346297f7 Mon Sep 17 00:00:00 2001 From: Mike Aizatsky Date: Mon, 25 Jul 2016 15:14:38 -0700 Subject: [PATCH] [infra] updated push script --- infra/push-images/Jenkinsfile | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/infra/push-images/Jenkinsfile b/infra/push-images/Jenkinsfile index 87557b237..c50f7be7e 100644 --- a/infra/push-images/Jenkinsfile +++ b/infra/push-images/Jenkinsfile @@ -16,8 +16,14 @@ // Jenkins build script to push docker images to docker repository. -docker.withRegistry('', 'docker-login') { - docker.image('ossfuzz/base').push() - docker.image('ossfuzz/base-clang').push() - docker.image('ossfuzz/base-libfuzzer').push() +def images = ['ossfuzz/base', 'ossfuzz/base-clang', 'ossfuzz/base-libfuzzer'] + +node() { + docker.withRegistry('', 'docker-login') { + for (int i = 0; i < images.size(); i++) { + def image = images[i] + stage name: "Pushing $image" + docker.image(image).push() + } + } }