Hibernate
/
hibernate-orm
mirror of https://github.com/hibernate/hibernate-orm
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Upgrade to hibernate-jenkins-pipeline-helpers 1.17

This commit is contained in:
Yoann Rodière 2024-06-18 09:55:39 +02:00 committed by Christian Beikov
parent a3926cbbc1
commit 0047b070d6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/release/Jenkinsfile vendored
View File

@ -9,7 +9,7 @@
/*
* See https://github.com/hibernate/hibernate-jenkins-pipeline-helpers
*/
@Library('hibernate-jenkins-pipeline-helpers@1.5') _
@Library('hibernate-jenkins-pipeline-helpers@1.17') _
// Avoid running the pipeline on branch indexing
if (currentBuild.getBuildCauses().toString().contains('BranchIndexingCause')) {