[hibernate-commits] [hibernate/hibernate-orm] de39cf: Fix build badge