Merge pull request #2864 from jimklimov/jenkins-agent

Problem: Jenkinsfile uses "any" agent

Merge pull request #2864 from jimklimov/jenkins-agent
Problem: Jenkinsfile uses "any" agent
028d02a0 · Luca Boccassi · GitHub · e2dbc99c · 3af76244 · 028d02a0
Unverified Commit 028d02a0 authored Dec 13, 2017 by Luca Boccassi Committed by GitHub Dec 13, 2017
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Jenkinsfile Jenkinsfile +1 -1

No files found.
--- a/Jenkinsfile
+++ b/Jenkinsfile
 pipeline {
-    agent any
+    agent { label "linux || macosx || bsd || solaris || posix || windows" }
    parameters {
        // Use DEFAULT_DEPLOY_BRANCH_PATTERN and DEFAULT_DEPLOY_JOB_NAME if
        // defined in this jenkins setup -- in Jenkins Management Web-GUI