From 03a42a25eacdfc5e8ab084a54f3984023414cf41 Mon Sep 17 00:00:00 2001
From: Mike Aizatsky <aizatsky@google.com>
Date: Fri, 5 Aug 2016 16:16:19 -0700
Subject: [PATCH] [infra] push runner image

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

diff --git a/infra/push-images/Jenkinsfile b/infra/push-images/Jenkinsfile
index c50f7be7e..51d00d81b 100644
--- a/infra/push-images/Jenkinsfile
+++ b/infra/push-images/Jenkinsfile
@@ -16,7 +16,8 @@
 
 // Jenkins build script to push docker images to docker repository.
 
-def images = ['ossfuzz/base', 'ossfuzz/base-clang', 'ossfuzz/base-libfuzzer']
+def images = ['ossfuzz/base', 'ossfuzz/base-clang', 'ossfuzz/base-libfuzzer',
+              'ossfuzz/libfuzzer-runner]
 
 node() {
     docker.withRegistry('', 'docker-login') {