バケツの縁を舐めた場合

お世話になっております
娘がバケツの縁を舐めてしまいました

普段、そのバケツは、娘のウンチなどで汚れた衣類をつけ置きしたり、雑巾をすすいだり❨つかったあとは水道水で洗ってます❩、お風呂の残り湯を汲み出したりと、いろんなことに使っています
そのバケツの縁を娘が舐めまてしまいました
舐めたときには、何も液体などは入っていませんでしたが
問題ないでしょうか

授乳直後ということもあり、なかなか水も10mlしか飲んでもらえませんでした。濡れたタオルで口の周りや口の中を軽く拭きました。

最後に浴槽の洗浄剤が入った湯船に、水道水を足すのにそのバケツを使いました。

対応として適切だったか、どのようなことに気をつけて様子を見ているべきなのか教えて下さい