mirror of
https://github.com/hibernate/hibernate-orm
synced 2025-02-06 19:36:03 +00:00
888e6c77b7
To avoid buggy notifications. See https://hibernate.zulipchat.com/#narrow/channel/132096-hibernate-user/topic/Jenkins.20Notifications Full changeset: https://github.com/hibernate/hibernate-jenkins-pipeline-helpers/compare/1.13..1.18 https://github.com/hibernate/hibernate-jenkins-pipeline-helpers/compare/1.17..1.18