diff --git a/Jenkinsfile b/Jenkinsfile
index bdd0d92a..0f05e68d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,9 @@
 pipeline {
-    agent {crawlab}
+    agent {
+        node {
+            label 'crawlab'
+        }
+    }
 
     stages {
         stage('Build Frontend') {