[tomnipotent]

> If there's a board, it may be worth it to let some members know

Scenarios like this never work out well for the person doing the "complaining", whether you're going above your manager to their manager or your CEO to their board.

It's not worth your time, energy, or reputation. Focus your energy elsewhere, it's not your fight anymore.