diff --git a/Jenkinsfile b/Jenkinsfile
index 4ce7436cc..1b360c789 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-  agent none
+  agent any
   
   environment {
     GIT_COMMIT_SHORT = sh(script: "git rev-parse --short HEAD", returnStdout: true).trim()