diff --git a/dawn-java-common/dev b/dawn-java-common/dev index ca09bd64ca4971bacddb773e17e4e34c5f45422c..bd6214fb299677cf10f7c52538b6c3090ba2ef28 100644 --- a/dawn-java-common/dev +++ b/dawn-java-common/dev @@ -1,5 +1,8 @@ pipeline { agent { label 'node2' } + tools { + jdk 'JAVA17' + } environment { GITLAB_DEPLOY_TOKEN = credentials("GITLAB_JAVA_DEPLOY_TOKEN") }