Unless it was absolute torrents, it should be fine. If it kept on bubbling for weeks, I'd worry, or if it was really lots and lots and lots of water. But this is more like 'you raised your house's risk of problems by a few micromorts* and it may have issues in 20 year' rather than 'oh shit oh shit oh shit your house has a 50% chance of falling over'.



*or whatever these are for houses