When I had my pool refinished, the contract stated no roofing to be going on during the plastering. It was about the nails getting into the plaster. Personally, I wouldn't want any nails laying on the shell that could get buried in the plaster finish. Maybe they'll be far enough away from the surface to not rust, but maybe they won't.
I would either very thoroughly cover the pool, or find a way to extract the tiniest bit of metal off the shell after the roofing is done, or both, before the plasterers show up. The pool will definitely get bombarded by nails, it's a specific passage in Murphy's Law, but I forget the page number!
View attachment 454108