diff --git a/Jenkinsfile b/Jenkinsfile
index d0526b87..0735770b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,8 +1,6 @@
 pipeline {
 
-	agent {
-		label "nogeode"
-	}
+	agent any
 
 	environment {
 		JAVA_HOME = "${tool 'jdk8'}"