Thank you! You can either export your animation as a .gif file, or as multiple .png files, which you can use (with ffmpeg or another software) to turn them into a video.
