diff --git a/Jenkinsfile b/Jenkinsfile index 381c864..de75c2f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,7 @@ pipeline { + tools { + jdk 'Java17' + } agent { node { label 'docker-host' } }