James E. Blair cbff0cc355 push-to-registry: handle undefined docker_images ...

So that this role may be used unconditionally in jobs which may
or may not actually build images, skip the tasks if the
docker_images variable is undefined.

Change-Id: I6ef0c80230de628f86f523878020c82ce81a1e60

2019-02-19 17:49:21 -08:00

..

main.yaml

push-to-registry: handle undefined docker_images

2019-02-19 17:49:21 -08:00

push-image.yaml

push-to-registry: handle undefined docker_images

2019-02-19 17:49:21 -08:00

push.yaml

push-to-registry: handle undefined docker_images

2019-02-19 17:49:21 -08:00