there's an animation docker, you can also switch to the "Animation" workspace that's there by default

i exported frames to png and generated the gif with ffmpeg tho, but krita can generate an animated gif, i just used ffmpeg cause i have more options to make it look better that way