Miui 10 is not running on oreo. It's still on 7.0, I think for oreo (8.0) we will get miui 11 update (for redmi 4 and redmi 4a)