Produce develocity reports on all Jenkins CI runs for PRs#9531

yrodiere merged 1 commit intohibernate:mainhibernate/hibernate-orm:mainfrom

yrodiere:develocity-jenkins-no-nodeyrodiere/hibernate-orm:develocity-jenkins-no-nodeCopy head branch name to clipboard