Orbital welders can be used in pipes on any size (smaller sizes often need special welders). Not sure what the record is but they are commonly used on water pipes that are several meters in diameter. Should work fine for the Hyperloop tube. Seems like all the required technology is proven but I'm sure we will hear more from all the experts in the various fields.