Add a retry on docker pull to be more resilient to intermittent failures (#4609)

1 file changed