Ok, well maybe it was just been the setup I had. I was talking about the stock mail app, not the Gmail app by the way.
My Hotmail came through immediately but Gmail was delayed. In the sync settings I found (under Hotmail), there were settings like 'Every 30 minutes', Every 15 minutes', 'Manual' and 'When received (Push)'.
Gmail had the same but no push option. I had a quick search and someone on XDA had confirmed this was the case with the Mate 10 pro (link below), so just assumed it was a limitation of the Huawei app. I was using the very early firmware so maybe it was that.
https://forum.xda-developers.com/mate-10/help/huawei-email-app-t3727149
My Hotmail came through immediately but Gmail was delayed. In the sync settings I found (under Hotmail), there were settings like 'Every 30 minutes', Every 15 minutes', 'Manual' and 'When received (Push)'.
Gmail had the same but no push option. I had a quick search and someone on XDA had confirmed this was the case with the Mate 10 pro (link below), so just assumed it was a limitation of the Huawei app. I was using the very early firmware so maybe it was that.
https://forum.xda-developers.com/mate-10/help/huawei-email-app-t3727149