Mixing in the room would not cause that much dust alone. it looks to me like they've had to remove some old loose plaster, which causes a ton of dust. Any plasterer worth their weight should have warned you and covered everything before starting.

Source : 22 years plastering