WOULD YOU MIND IF THEY (DIG,ARE DIGGING,DIGGING,DIGGED ) A HOLE HERE

3.Would you mind if they (dig,are digging,digging,digged ) a hole here?