同僚がチクったとは限らないのでは？
上司もその場にいたのかも知れないし。

もしチクったとしても、直接本人に注意して空気悪くして平然としてる主と違って、正しい選択だと思うけどね。
私も今は他メンバーに注意できる立場だけど、役職上がる前は何かあったら上司にそれとなく注意してもらってたよ。
仕事を円滑に進めるには、人間関係も大事。
周りを気にせずただ自分の仕事だけ真面目にやってるだけじゃ評価されない。