[infra] push images after building

2017-03-03 15:29:04 -08:00 · 2017-03-03 15:29:04 -08:00 · 1b7132bb5f
parent a7ed13b878
commit 1b7132bb5f
1 changed files with 14 additions and 0 deletions
--- a/infra/base-images/Jenkinsfile
+++ b/infra/base-images/Jenkinsfile
@ -21,4 +21,18 @@ node {
  stage("infra/base-images/all.sh") {
    sh "infra/base-images/all.sh --no-cache"
  }
+  
+  stage("docker push") {
+    def images = ['ossfuzz/base-image', 'ossfuzz/base-clang', 'ossfuzz/base-libfuzzer',
+                  'ossfuzz/base-runner', 'ossfuzz/base-runner-debug',
+                  'ossfuzz/base-builder',]  
+    
+    docker.withRegistry('', 'docker-login') {
+        for (int i = 0; i < images.size(); i++) {
+            def image = images[i]
+            stage name: "$image"
+            docker.image(image).push()
+        }
+    }
+  }
 }