pull down to refresh

I just was talking to a friend about this and their stock Pixel 6a didn't get the update request through notifications somehow and they had to manually trigger it, but their 9a did get it a few days ago.
I'm not sure what would cause this delay.