The CI setup has been fragile for a while and now seems busted on branches. It would be worthwhile to reimplement CI from scratch