Since Redmi Note 5 build is not (yet ?) available, you can try GSI builds in the meantime:
However it’s a good practice to link (re)sources in your device-request 3ad in order to (potentially) push forwards specific builds, IOHO:
Redmi Note 5 / 5 Plus (vince)
https://github.com/search?q=xiaomi+vince&type=repositories&s=updated
https://forum.xda-developers.com/c/xiaomi-redmi-note-5-5-plus.7415/
Hope that helps.