This affair doesn’t sound like it’s over. If he can’t cut contact (I understand it’s really hard if they’re constantly working together…) then it might be time for you to move on
It is not over. It won't be over until he refuses to communicate personally or professionally with her.
Block, block, block, delete. Zero contact. Contact happens again OP leaves immediately. That's what needs to occur.