GIFs are inefficient and pretty resource intensive, if possible use video formats instead. Modern machines are optimized for running video so they work quite a bit better.
You can choose a codec and container format to export your video to with the help of https://developer.mozilla.org/en-US/docs/Web/Media/Formats/V.... All of those formats make for much smaller files than GIF-format video files.