Even if time in GR is not defined at singularity, the time-like distance to it is well defined in GR, and it is finite.
I can give you an example. Take a line from 0 to infinity: [0,inf[
We are at x=1, so the distance to x=0 is 1-0=1.
Now we EXCLUDE point x=0. Say, for some reason our theory does not work at x=0.
So instead of [0,inf[ we have open set from both sides: ]0,inf[
Still, the distance from x=1 to x=0 is well defined and it is not infinite.
So even GR does not say anything about the singularity itself, the timelike distance to singularity is well defined in GR. There is no places where you can apply any form of Zeno paradox with "constantly halving a ruler"