If it’s thunder and lightning, I’d agree with you. But if it’s just raining I think it’s fairly safe.

Also depends on your local environment, my building happens to have a lot of tall buildings around it, so there’s lightning rods everywhere. So I feel fairly confident that even if there was lightning the pool would not be the optimal path to ground.