The only adult risks for HIV are:
1) having unprotected, penetrative vaginal or anal sex, or
2) sharing intravenous drug needles
Nothing else, including the event you described, is a risk for HIV. No penetration = no risk. There is no detail you can add that would make this event a risk for HIV, and you do not have ARS, and you do not need testing.