Mine are made with byzanz: https://git.sr.ht/~technomancy/tremendous-quest-iv/tree/master/makefile#L68
But I know TIC-80 has built-in gif recording which is pretty handy.
Exactly, on TIC-80 you just have to press F9 to record a gif.
Thanks!
