What are some legitimately fun team-building activities? Are there any?

no. if the team already is on friendly terms in general, just encourage them by being nice and doing “here is food for everyone in the break room” or “heres sweets in baskets for every desk.” stuff.

people who hate eachother will not change through forced “but being nice is so fun” events, people who already like eachother will only be annoyed by “lets do this unrelated total fun thing together, even if youre not in the mood or would rather do actual work”.

just be nice, do the occasional nice thing that doesnt didtract from the work. also do the normal yearly party events, but with no “everyone has to come and everyone totally has to wear a costume, yay fun” bs.