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
..
main.yml	Use infra Docker registry mirror during CI	2018-11-21 14:02:30 +00:00