The only risks for HIV in adults are:
1) Having unprotected anal or vaginal sex, or
2) sharing intravenous needles with IV drug users.
The risks I listed above are the ONLY risks, and your event is not on that list. There is no information you could add that would make this a risk for HIV, and there is no reason to test.