Re: [hibernate-dev] ORM CI jobs - erroneous github triggers