Animations with music are called mp4.

GIF pictures are dynamic, and many GIF dynamic pictures are also converted from videos. The principle of adding music to a gif image is very simple, just like adding music to a video, so you can just treat the gif dynamic image as a video. To combine MP3 and gif into an mp4 file, the format must be mp4.