I often include GIFs of models running in presentations or on websites. Currently my workflow is to record the screen while the model runs and then manually convert to a GIF. It would be really cool if there was a way to automatically run a model for a given number of ticks and export a GIF of it.
You could also use the vid extension to make a movie of the model and then convert it to GIF afterwards. (See the Movie Recording Example model in the Code Examples → Extensions section of the Models Library.)
Note that GIF is a legacy format and problematic because it only supports 8-bit color, which means you won’t get high quality results.