2. mention this in front of her and joking about it
3. I guess she won't do that again if you mention it in front of her.
4. If it happens next time, you can draw a conclusion that it becomes a pattern for her to ignore you. So go to her boss and talk about it.
5. Still treat it like no big deal, and say hello to her if both of you meet.