Originally Posted by MattKing
A push development doesn't increase detail - it just increases contrast for the detail that made its way on to the film.
So the push may help it look a bit nicer, but it won't solve your problem with very low light levels leading to reciprocity failure.
That makes sense, thanks. Does a one-stop push sound about right for recovering what I can?