This title is misleading. It makes it seem like the robots did this autonomously, when in reality hundreds if workers were involved. The “robots” were “smart jacks” I would say. Humans couldn’t have done this without hydraulic jacks, they used fancy hydraulic jacks.
I was not really lead to believe they did this autonomously. It seemed to me like either (a) they were doing the lockstep in a pre-programmed way that required timing of the equipment working together or (b) the same but with humans operating the timing. In either case I find the use of robots impressive.