He shouldn't stop digging his tunnel but it sounds like he should spend less time on it if he wants to keep a healthy relationship with his girlfriend. That would be true no matter what his hobby was.
Why are you jumping to judge her? Is totally reasonable for someone in a relationship to want to spend time with their partner, and be upset if they literally never get to. What's even the point of a relationship if there's no companionship?