You used a condom, so you were not at risk for HIV. If the condom had broken, you would have known as condoms break wide open. Forget about mythical "pinholes" - that's not how HIV is transmitted.
Risks for HIV are:
1) having unprotected, penetrative vaginal or anal sex, or
2) sharing IV drug needles with other IV drug users.
That's it. Nothing else you can think of is a risk.