室内作業でのコンクリート粉塵について

10歳未満/男性 - 2023/06/21

こんにちは。
コンクリート粉塵についてです。
自宅のトイレのコンクリート壁(コンクリート打ちっぱなしです)に5ミリ径くらいの円状の出っ張りがあったため、業者に取ってもらいました。
3箇所ほどサンダーで削って時間にすると1分にもみたないです。
窓がないトイレでドアを開けっぱなし、床には敷物を敷き、業者さんが持ってきたハンディータイプの掃除機で粉塵がなるべく飛び散らないように作業してくれました。
が、その作業を子供たちがドアから1メートルくらいの距離で見ていました。
私は近くにおりましたが直接は見ておりませんのでどれくらい粉塵が飛んでたのかわかりませんでした。
後ほど、調べてみたら粉塵は良くないとみたので子供たちと、私も作業後マスクなしで拭き掃除をしたのでとても不安です。
業者さんに後ほど確認したところ、少しだけなので問題ない、細かい粉塵が飛ばないよう掃除機で吸っていた、大丈夫ですよとの返答でした。
健康被害は大丈夫ですか？
リビングまで5メートルほどの廊下のドアを開けていました。掃除はどこまでしたらいいのでしょうか？
リビングは掃除せずに昨夜は普通に過ごしてしまいました。洗面所もドアは閉めてたのでタオルなど普通に使いました。
性格上、不安になりやすくとても心配です。
よろしくお願いします。