I say, and with God's help: If the workers are working in the mosque for construction or other purposes, there is no harm in staying overnight there. If it is otherwise, he must adhere to the state's regulations regarding mosques and not deviate from them. And God knows best.