Sorry, but the answer is you don't. Edge Animate doesn't support animated GIF export.
Instead, you could use Flash Pro, Photoshop, or Fireworks to create animated GIFs.
Hi Joe, are there any plans for this year to support GIF export? or directly import sequence from Photoshop or Fireworks?
Or any means to create the animation once then have the ability to generate either HTML or GIF.