Mark Goddard 5c9a798324 CI: Reinstate use of Docker registry mirror
After modernising docker configuration
(I1215e04ec15b01c0b43bac8c0e81293f6724f278), we lost our
registry-mirrors configuration in CI that lets us use a mirror of
Dockerhub.

This change uses the new docker_custom_config variable to configure the
registry mirror.

Change-Id: I1430413c12e9d0b59e4f216ff66372de0f3a4f21
2019-09-23 11:14:01 +01:00
..
2016-01-13 13:47:49 +08:00
2018-11-06 16:43:19 +00:00
2019-09-19 11:07:02 +02:00
2019-09-19 11:07:02 +02:00
2019-07-02 20:44:33 +02:00
2019-03-01 14:36:30 +00:00
2019-08-22 12:36:51 +00:00
2019-08-14 12:32:51 -04:00
2019-08-16 17:11:00 +02:00
2019-07-04 18:11:16 +00:00