[hibernate-commits] [hibernate/hibernate-orm] 561536: Release Jenkinsfile: clarify what's used as an env...