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
You can't get hiv when you used a condom so you are safe. Therefore, there was no risk.