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