Dry Humping Without Panties

Hi I'm a filipino in college and was just wondering about whether or not i'm in risk. I just recently had intercourse with someone who I just found out was HIV positive. I had a condom on during intercourse, however, I did take it off when she started giving me oral sex. After oral sex I procceeded to dry humping her, while I had my boxer briefs on and she didnt have panties. Most of the rubbing occurred in the pubic hair region. I'm curious sir, whether or not I should be concerned? My boxers were dry in the end, but then again, i dont know if little drops of vaginal fluid may have seeped through. Am I at risk of having HIV?

[Teak]

No, you are not at risk.