Well the craters could be domed off to maintain a healthy Earth-like atmosphere, and because the pressure is maintained by the depth of the crater the dome itself wouldn’t actually have to hold the air pressure in against a low pressure environment.

Also, presumably the reason a habitat would be planet-side is to take advantage of mineral resources, so a lot of digging will happen anyway.