I dont think it makes any difference whether you pushed the turn or not. Neither of you were gonna lay the hand down after that turn card.

But, i guess it doesn't feel so bad to lose knowing you were ahead when you pushed your stack in