Armbian has supported xiaomi-elish officially: https://www.armbian.com/xiaomi-pad-5-pro/, you can download images from armbian official site. This repo is for bleeding not released images.
Download: https://github.com/amazingfate/armbian-xiaomi-elish/releases/latest