Our pool was dug last Friday and we’ve had a ton of rain since. They came Saturday morning and put a flash coat of gunite on. Since then working on plumbing and rebar as they can with the weather. It is looking like the end of this or or next before they can do the gunite. Today I noticed this, the flash coating cracking and coming down. Should it be dry before they do this? Will they fill in those voids behind the flash coat? What do I need to know or look for, I don’t want future concerns because of voids in the dirt.