Hola,

¿Qué imagen docker estás utilizando?
Si ya la tienes instalada, el hecho de descargar los símbolos, aun teniendo bien puestos los datos de conexión de servidor, servicio, puerto, autenticación y demás, a mi a veces me da problemas también, pero lo intento un par o tres de veces y al final consigo descargarlos.

Un saludo,
Cristina Nicolàs