Another great option is Animated PNG [0].
It has better quality and better compression compared to GIF.<p>It appears as a side note in the article but it should be considered for the use case.<p>[0]: <a href="https://en.wikipedia.org/wiki/APNG" rel="nofollow">https://en.wikipedia.org/wiki/APNG</a>