Update Jenkinsfile

This commit is contained in:
Mike Aizatsky 2016-10-14 15:30:13 -07:00 committed by GitHub
parent a15a7b56e1
commit 84a9b05fc1
1 changed files with 1 additions and 1 deletions

View File

@ -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') {