Hibernate/hibernate-orm
1
0
Fork 0
mirror of https://github.com/hibernate/hibernate-orm synced 2025-02-16 16:15:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update hibernate-jenkins-pipeline-helpers to 1.17

Browse Source
This commit is contained in:
Marco Belladelli 2024-07-02 09:45:07 +02:00
parent f9cbb0c42d
commit b546b0c82d
No known key found for this signature in database
GPG Key ID: DBD6E257ABE9EA3D
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')) {