diff --git a/contrib/ci/Jenkinsfile b/contrib/ci/Jenkinsfile index 52c39aee..1a233963 100644 --- a/contrib/ci/Jenkinsfile +++ b/contrib/ci/Jenkinsfile @@ -1,5 +1,5 @@ pipeline { - agent any + agent { label 'gluon-docker' } environment { GLUON_SITEDIR = "contrib/ci/minimal-site" GLUON_TARGET = "x86-generic"