'Workmen' in the Bible

It is to be put into the hands of those doing the work—those who oversee the Lord’s temple. They in turn are to give it to the workmen in the Lord’s temple to repair the damage.

The workmen did their work, and through them the repairs progressed. They restored God’s temple to its specifications and reinforced it.

They put it into the hands of those doing the work—those who oversaw the Lord’s temple. They gave it to the workmen who were working in the Lord’s temple, to repair and restore the temple;