'Workmen' in the Bible

So the workmen worked, and the work of repairing went forward in their hands, and they set up the house of God in its state, and strengthened it.

They delivered it into the hand of the workmen who had the oversight of the house of Yahweh; and the workmen who labored in the house of Yahweh gave it to mend and repair the house;

They have emptied out the money that was found in the house of Yahweh, and have delivered it into the hand of the overseers, and into the hand of the workmen."