Re: [hibernate-dev] Links to CI jobs on hibernate.org