This is really good advice the only thing I would add though is there is a difference between a personality conflict. (her being a shitty annoying person to work with) and work place bullying. I know you don't want to report her and honestly at this point it just sounds like she is gross and awful. Just don't let her kill your vibe and continue being happy with your work mates and doing your job. People enjoy being around other people with good vibes. But know that if she starts to work place bully you that's not drama. That's a legitimate issue that your boss needs to address. Nobody has the right to bully you and all work places have anti work place bullying policies.