All iPads Should I get my 12-year old an iPad (10th gen) or the most current iPad mini?

My kid plays ROBLOX, geometry dash, Minecraft mostly and sometimes records themselves playing games and edits the screen-recordings in iMovie.
View full source