This makes me feel a lot better
You have never read the anyone has contracted HIV from fingering or non-penetrative sex. If you have, it was untrue.
So you are sure that the precum from his penis and maybe his finger would not have transmitted HIV because i have read of poeple who caught HIV from precum. Is that even possible.
There was no risk and you don't need to test.