If you've tried addressing the issue with your boss and the behavior persists, or if the behavior is affecting your mental well-being and work performance, it's appropriate to involve HR or a higher-up.