mirror of https://github.com/google/oss-fuzz.git
[infra] updated push script
This commit is contained in:
parent
8299b73d0d
commit
a58c0d8f65
|
@ -16,8 +16,14 @@
|
||||||
|
|
||||||
// Jenkins build script to push docker images to docker repository.
|
// Jenkins build script to push docker images to docker repository.
|
||||||
|
|
||||||
docker.withRegistry('', 'docker-login') {
|
def images = ['ossfuzz/base', 'ossfuzz/base-clang', 'ossfuzz/base-libfuzzer']
|
||||||
docker.image('ossfuzz/base').push()
|
|
||||||
docker.image('ossfuzz/base-clang').push()
|
node() {
|
||||||
docker.image('ossfuzz/base-libfuzzer').push()
|
docker.withRegistry('', 'docker-login') {
|
||||||
|
for (int i = 0; i < images.size(); i++) {
|
||||||
|
def image = images[i]
|
||||||
|
stage name: "Pushing $image"
|
||||||
|
docker.image(image).push()
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue