Dobrý den,
pro Mi A2 Lite je poslední verze ROM V10.0.13.0.PDLMIXM, postavená na Androidu 9 Pie.
Pokud se Vám aktualizace nenabízí, doporučím počkat jeden až dva dny a zkoušet. Zkoušejte i přes jiné Wi-Fi – je totiž možné, že jsou servery blokované poskytovatelem. Pokud se ani na jiné síti update nenabídne, asi doporučím reklamaci.
Karel Kilián

To je hloupost. Aktualizace jsou funkční. Android 9 už skoro 11 měsíců a měsíční aktualizace taky bez problémů. 
Paní Fišerová, pokud nemáte po ruce někoho kdo vám s tím pomůže, tak to dejte do servisu. Tenhle problém se občas objeví.

Dobrý den,
já si myslím, že by stačilo zkusit jinou Wi-Fi. Možná jen poskytovatel blokuje aktualizační servery.
Karel Kilián

Otevřete telefon a zadejte *#*#2432546#*#* počkejte až se v horní liště zobrazí oznámení Služeb Google „checkin succeeded“ potom restartujte telefon a zkuste znovu vyhledat aktualizace

Dobrý den,
díky Profi GSM za tip. Budu rád, když se tazatelka ozve, zda to pomohlo. Zařadil bych to do našich tipů a triků.
Karel Kilián

Dobrý den, děkuji všem za odpovědi. Provedla jsem přesně podle rady od GSM a napsalo mi to oznámení „checkin failed“. Nevím proč… Zkusím i jinou WiFi. Děkuji

Dobrý den,
to opravdu vypadá, jako by Vám připojení k aktualizačním serverům blokoval poskytovatel internetového připojení.
Karel Kilián