In a technical context, yes, a GIF refers to a specific image format. However, plenty of people now use “gif” to mean any short soundless video loop, regardless of how that video is stored.

It’s silly, but I can see how it happened.