we are playing in multiplayer and when we dig, the roof is not digged by workers 
Didn’t they do the top layer of those blocks ever after they kept mining for a while?
nothing happen, the workers don’t have any other tasks
Is there a house on top? That might be conflicting.
They should be able to mine that 4 blocks tall area otherwise.
nop 
nothing on the top, just stone.