It is possible to export to a video file, but I actually do prefer to produce pngs and then convert these into a video file since this enables a better quality than using the built-in video encoder (at least in PV 5.7).
Plus it gives you a lot more flexibility.
ffmpeg is your friend, e.g.:
ffmpeg -r 25 -start_number 0 -i "%04d.png" -c:v libx264 -profile:v high -level:v 4.0 -vf "format=rgb24" -pix_fmt yuv420p -y -an video.mp4