Assuming you're using a game engine, the format to choose will depend on which are supported by that engine. Among the defaults (under File -> Export in Blender) it seems FBX, OBJ, DAE and glTF all support skeletal animation. Most engines, however, will convert them to some internal format upon use, and are likely to provide an engine-specific exporter for Blender, allowing to skip the intermediate conversion step. Simply searching for 'blender skeletal animations ENGINE_NAME' will likely give you the best answer for your specific use case.
Cool! 😄
If you're willing to make those other assets free culture as well, they might be useful for LucKey Park.
Note that Carrot is licensed CC-BY, btw. This means that Modanung and David Revoy must be attributed somewhere, and (a link to) the license text should be included as well.
But great to see it in-game, and all stickers collected. 🙂

Ah, right. It's listed as CC-BY-SA though, instead of CC-BY. And there seems to be no mention of David Revoy.