diff --git a/Jenkinsfile b/Jenkinsfile index 1476f87f7..9a9a552dd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,4 @@ -node("docker") { +node("docker-xxlarge") { cleanWs() // Subtract repo name from the repo url (https://REPO_NAME/ -> REPO_NAME/) withCredentials([string(credentialsId: 'repo21-url', variable: 'REPO21_URL')]) {