Je n’ai pas trouvé la cause profonde, mais il semble s’agir d’un problème de connectivité avec docker. Un service restart docker a servi de solution de contournement. C’était agaçant car la reconstruction avait fonctionné quelques heures plus tôt et les git pulls vers github fonctionnaient bien vers github.
C’est pourquoi on ne fait pas les choses à 4h du matin quand on est épuisé. J’aurais dû dormir 2 heures de plus et m’en occuper à nouveau le matin !