O que é um GIF?
O GIF (Graphical Exchange Format) é um formato popular que é utilizado desde finais dos anos 80 para partilhar imagens e animações curtas. O GIF pode armazenar apenas 256 cores, o que faz com que quase todas as imagens tenham um aspecto em banda e ligeiramente desaturado. Não utiliza nenhum método moderno de compressão, e armazena cada frame como está.
Quando exportar para o GIF, por favor esteja pronto para o fazer:
Taxa de fotogramas limitada
Curta duração (até 15 segundos)
Faixa de cor
Ficheiros grandes, em comparação com MP4
As melhores práticas
Baixar a resolução. Não precisa de GIF Full HD na maioria dos casos, confie em nós
Verifique de que taxa de fotogramas precisa. Quanto mais baixo for - mais pequeno será o ficheiro.
Se o seu GIF se tornar demasiado longo, provavelmente a qualidade geral é demasiado elevada. Tente torná-lo mais pequeno, com menor valor de FPS e resolução.
Agora, vamos fazer um GIF 😃
Abra o seu projecto, e clique no botão "Publish" (Publicar). Verá múltiplas opções. Escolha GIF:

Aqui precisamos de seleccionar:
Duração do GIF,
Resolução,
E taxa de fotogramas
Quanto à duração, pode exportar apenas 15 segundos, se precisar de os tirar do meio do seu vídeo, mover o selector "Start time", ou simplesmente digitar o tempo no campo.

Nota: Quanto maior for a resolução, duração, e a taxa de fotogramas, maior será o ficheiro. Considere isto se quiser publicar um GIF em linha.
Para fazer ou não fazer loop?
Os GIFs podem ser laçados (depois de terminada a animação, ela recomeçará). Por defeito, esta opção está activada.
E é tudo! Clique em "Gerar" para começar a renderizar o seu GIF.