We are talking about the Redmi K30 Pro and POCO F2 Pro models. The second is the international version of the first. Both were announced in spring 2020. Smartphones are on sale with MIUI 11 firmware on Android 10. Stable MIUI 12.5 with Android 12 will be available for them in the fall.
Recall that this month the manufacturer has already released Android 12 with a proprietary shell for eight smartphones. The test operating system was received by the flagships of the last two generations Xiaomi Mi 11 and Mi 11 Ultra, Xiaomi Mi 10, Mi 10 Pro and Mi 10 Ultra, Xiaomi Mi 10T and Mi 10T Pro, as well as Redmi K30S.