The Board of Education voted unanimously to fire Chicago Public Schools CEO Pedro Martinez during an extraordinary special meeting Friday night after a monthslong leadership struggle with Mayor Brandon Johnson that has engulfed the school district.

The saga doesn’t appear headed for an immediate resolution, however, after Martinez filed a lawsuit against the Board of Education and all seven of its members hours before the meeting. He asked for a temporary restraining order to prevent the board from taking action Friday, but there wasn’t enough time to get in front of a judge before the meeting.

Martinez’s 44-page lawsuit filed in Cook County Circuit Court alleged the board, and its individual members, breached his contract.