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