  We prove that a space-time hybridized discontinuous Galerkin method for the
evolutionary Navier--Stokes equations converges to a weak solution as the time
step and mesh size tend to zero. Moreover, we show that this weak solution
satisfies the energy inequality. To perform our analysis, we make use of
discrete functional analysis tools and a discrete version of the
Aubin--Lions--Simon theorem.
