The GIF turned to video will usually be in MP4 or MOV file format, depending on which tool you use for conversion. Using the video file converter you can choose between MP4 and WebM.