Choose from .mov, .mp4, .avi.

Select the export format: