I’d imagine building out some new support pillars and flexible ceiling would be much faster and cheaper than digging out the same space underground.

I know tunnel boring is supposed to be getting cheaper and easier, plus on Mars you’d be starting from a blank slate rather than working around/under existing infrastructure. But for big tunnels you still need a big boring machine, and that would either have to be shipped to Mars or built on Mars.