You can export gifs by clicking on the File menu, choosing Export, clicking the Animation tab and choosing the "All frames as a single file animation" option.
Alright, thanks for the reply :)
