Canon 200D (Rebel SL2). Red noise with low ISO value

I have a Canon 200D (SL2 rebel).
I am concerned about the red noise in the darkest parts of the photo, at low ISO values. Especially in the blue sky.
Could this be a hardware problem with a sensor?
I post screenshots and two original RAW files.