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)
Hope that helps.