No, an animated GIF will simply play independently.
To have it play on page load. Open the GIF in Photoshop and export it as a movie or an image sequence.
Using video with in5:
https://ajarproductions.com/in5course/?lesson=av
Using image sequences with in5:
https://ajarproductions.com/in5course/?lesson=overlays#imgseq