diff --git a/Jenkinsfile b/Jenkinsfile index 6a6160258..1c7c54544 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,5 @@ pipeline { - agent { lebal 'MAVEN' } + agent { label 'MAVEN' } options { timeout(time: 1, unit: 'HOURS') }