I guess you cannot use a .gif file with 6000 frames… This is not what the .gif format was ment for.
You can save the images as .png and create a video with high compression out of it using ffmpeg.
Example:
ffmpeg -r:v 20 -i "video%06d.png" -codec:v libx264 -preset veryslow -pix_fmt yuv420p -crf 10 -an "video.mp4
This example assumes that the .png file names look like this:
video000000.png video000001.png etc
So you first need to save them in this format.
This package might help: GitHub - JuliaIO/FFMPEG.jl: Julia Package for the FFMPEG builder binaries
Does this answer your question?