diff --git a/Jenkinsfile b/Jenkinsfile index 21f775a..10433d0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -51,7 +51,9 @@ pipeline { } } stage('Build') { - agent any + agent { + label "linux" + } steps { unstash 'windows-natives' unstash 'osx-natives'