Allow unused `#type: ignore` comments in bleeding edge CI jobs.