From 84a9b05fc1f9e8e245db676ae9370be5c3bf2951 Mon Sep 17 00:00:00 2001
From: Mike Aizatsky <mike.aizatsky@gmail.com>
Date: Fri, 14 Oct 2016 15:30:13 -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 9d294da00..a336dce71 100644
--- a/infra/push-images/Jenkinsfile
+++ b/infra/push-images/Jenkinsfile
@@ -17,7 +17,7 @@
 // Jenkins build script to push docker images to docker repository.
 
 def images = ['ossfuzz/base', 'ossfuzz/base-clang', 'ossfuzz/base-libfuzzer',
-              'ossfuzz/libfuzzer-runner']
+              'ossfuzz/libfuzzer-runner', 'ossfuzz/coverage']
 
 node() {
     docker.withRegistry('', 'docker-login') {