The same happened in the past. I wonder if there’s no DNS cache on the build machines for some reason that’s beyond me.