Wrong battery. You're thinking the high-voltage EV battery, but in this case, it was the 12V lead-acid accessory battery that died. Normally, that would be charged from the high voltage battery, if the car was running.
In this case, it might just have been bad luck with a worn-out battery.