What file formats does the capture tool support?

The Capture Tool allows you to export images in the PNG format and video files in MP4 and GIF format.

View the screen recorder to GIF tutorial here