The answer seems like an easy no, but it's not always as simple as that. Sometimes social pressure, especially in the workplace, is strong. You don't want to lose out on professional opportunities just because you're feuding with someone over something petty. It pays to be friends with your coworkers, at least to a professional degree. You don't have to be besties, but it benefits both of you to be open and effective communicators. The pair of coworkers in this story were at odds with each other, and it was starting to spill into other areas of the business. When it came time to celebrate one of their weddings, things got a little bit dicey. Everyone was expected to bring something to eat, but one coworker didn't feel comfortable spending any of their money on a coworker they didn't respect.
There is a fine line between protecting your own peace and holding a grudge. Holding a grudge is never a great idea to do at work. Sure, plenty of people are going to come around and hurt your feelings or get under your skin, but it benefits you to brush them off. You would hate for them to get in the way of your career. And something as simple as participation in a work event could have repercussions in your work life. The small things have a way of adding up.