diff --git a/Jenkinsfile b/Jenkinsfile
index a24f95267..074ad0b6d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,4 +1,5 @@
 pipeline {
+  agent any
 stages {
   stage("build") {
     steps {