Comment by lozenge

Yeah, they could have caught this with even the most basic Github Actions workflow.