No GFCI that I am aware of has a reference to an equipment grounding conductor and none of them care what voltage is from either protected conductor to equipment ground. That is not what they are designed to do. They only monitor for balanced current between hot and neutral, or in the case of a 120/240 GFCI breaker they monitor for balance between all three load conductors. Anything that goes out one conductor has to come back on another protected conductor (within 4-6 mA max lost) or it will trip. Does not matter what is grounded, what is not grounded or if there is any ground period in the particular system it is connected to. You not only can have a trip from current of the protected circuit being lost, you can also have a trip if some foreign circuit somehow introduces current into the protected circuit - like mixing up protected and non protected neutral (or hot) conductors at a junction box into the same splicing device.
I believe that is a UL standard (for about 4-5 years now) and all GFCI receptacles will not reset if line and load are reversed. Thing is you can reset the device, then power it down, reverse the line and load conductors and it will continue to operate - until it is tripped- then it will not reset until line and load conductors are properly connected. They protect you when new because they leave the factory in a tripped state, but connect one that had been reset and this protection only kicks in once it has tripped.
Chances are the current was outside the protection that the GFCI can provide, like the incoming EGC was somehow connected to an ungrounded conductor somewhere, the GFCI will not monitor the EGC at all.
Even if the "shock" current was passing through a properly functioning GFCI it must be beyond the trip curve of the GFCI before it will trip. 5 mA may not trip it, but a person will definitely feel 5 mA and it will be more than a little tingle. If you want to play with this then plug a GFCI tester into a receptacle with a missing/malfunctioning EGC and a metallic WP cover or something similar that you will easily be touching while testing, and then press the test button on your testing device - unless you are well insulated it very likely will knock you on your behind.