Nine days and construction

Question

We have had this ongoing construction project since Memorial Day. During the Nine Days should we stop the construction???? The builder is not Jewish. Thank you!!