You can't get hiv when you used a condom so you are safe. Therefore, there was no risk.
Your question has been fully answered you had no risk.
*** thread closed ***
There really isn't a need for another answer. Undetectable holes/tears in condoms are a myth. As long as the head of your penis was visibly covered during intercourse, you had zero risk for HIV.
Could have semen leaked out as he finished inside? Or small tear