Of course they did. The Trump admin doesn't give a hoot about the safety of the workers or the public around the area.
On the other hand, I wonder how much airborne dust and particles might have made their way into the White House and its ventilation systems? What's good for the goose...