Would the regolith walls of a lava tube be porous? It may be necessary to spray them with resin of some kind before pressurizing.

Or just water. And insulate the habitat from those walls, with a thermal gradient that permits the water to remain ice.