diff --git a/jenkinsfile b/jenkinsfile index d15f679f5..129f70a94 100644 --- a/jenkinsfile +++ b/jenkinsfile @@ -1,4 +1,3 @@ - pipeline { agent { label 'JDK-17' } options { @@ -46,4 +45,4 @@ pipeline { } } -} \ No newline at end of file +}