Re: [hibernate-dev] hibernate-documentation CI job