If you open the dummy in the placefile it has the saved animations in there which you can export from there.
The one downside to animations is that Roblox doesn’t like users sharing them. As a result you’ll notice that if you load up the place I linked at the end of the post that the animations won’t load. As a result if you are going to use my exact animations then I’ve saved them in a dummy for use with the animation editor. You’ll have to load them in and export them to your own profile. If you do that remember to change the animation IDs.