[hibernate-commits] [hibernate/hibernate-orm] 89ae1d: Use ci/build.sh in Jenkinsfile, too