Re: [hibernate-dev] Hibernate CI is angry: ORM build job is failing since the 2nd of November