diff --git a/ci/Jenkinsfile.combined b/ci/Jenkinsfile.combined index f636711ce9..0deb1e87e2 100644 --- a/ci/Jenkinsfile.combined +++ b/ci/Jenkinsfile.combined @@ -1,5 +1,5 @@ pipeline { - agent { label 'master' } + agent { label 'linux' } options { timestamps()