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
..
2018-11-19 14:37:33 +00:00
2018-06-06 12:45:51 +01:00
2017-05-29 16:52:17 +01:00
2018-07-10 13:47:28 -04:00
2018-01-23 12:25:20 +00:00