All of the normal zooming longlens in this was filmed with one.
It's not bad, I got one because I wanted something cheap that recorded 1080p60 and it seemed like the best option. It's kind of consumer-focused/dad-cam-ish which made it kind of annoying (mostly the touchscreen, bad zoom rocker) but wasn't too bad once I got used to it.
I ended up selling it after that video was done and got a Canon XA11 instead, which is basically smaller, better zoom rocker, and still has shoots 1080p60.