Xiaomi Redmi 4A (rolex) for /e/OS-Pie 0.23
e-0.23-p-20240509-CUSTOM-rolex.zip
https://sourceforge.net/projects/eosbuildsronnz98/files/XiaomiSmartphones/e-0.23-p-20240509-CUSTOM-rolex.zip/download
Please see sources and install instructions including recovery here:
https://xdaforums.com/t/rom-unofficial-lineageos-15-1-for-xiaomi-redmi-4a-amp-5a-unified-ota.3778316/
Use it at your own risk!
Please support the developer(s)!