Miatoll did not make it anymore to v1.12.3, the build failed https://gitlab.e.foundation/e/backlog/-/issues/7112 and thus there is also no v1.13 afaik. It was promised to be available for Aug 7th 2023 see Xiaomi - POCO M2 Pro / Redmi Note 9S / Redmi Note 9 Pro / Redmi Note 9 Pro Max - miatoll - Documentation Suggestions - #27 by asdgfdsgfdsg092932
Unfortunately we miatoll users are all stuck with v1.11-s, which has a real issue with fast battery drains, that was fixed in v1.12.