To resize your animation
use Image > Image Size.
Then change the dimensions to what you want but be sure to set Resample to Nearest Neighbor (hard edges) or the resize will add blurry pixels.
To export an animated gif:
File > Export > Save for Web
Select gif in the top right corner. Then click the save button.