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.
To fill in the missing step, you can play a real video format in the browser using the HTML <video> element, optionally with the `loop` attribute (https://developer.mozilla.org/en-US/docs/Web/HTML/Element/vi...). <video> elements, like GIFs, are supported in all browsers.
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.