Сохранение анимации в формате GIF осуществляется все той же командой Save Optimized. Вам потребуется только выбрать папку для готового анимационного файла и дать ему имя.