Mark Goddard 016d23aa83 Use infra Docker registry mirror during CI
The mirror caches images from Dockerhub, and should reduce load on the
cloud and improve download times.

Change-Id: I2b52fa6371118e28c1d601e8b90065897f24f41d
2018-11-21 14:02:30 +00:00
..
2017-11-13 09:14:09 +00:00