diff --git a/Jenkinsfile b/Jenkinsfile index 86e916c..19fe510 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,7 @@ pipeline { - agent any + agent { + label "hcloud-docker-x86" + } parameters { booleanParam(name: "use_github", defaultValue: true, description: "use github repos") booleanParam(name: "BUILD_SNAPSHOT", defaultValue: false, description: "build current version at HEAD")