From a0b7d4a77863ba50efdddcbd7ad940123ab99449 Mon Sep 17 00:00:00 2001
From: Marvin Zhang <tikazyq@gmail.com>
Date: Fri, 31 May 2019 18:57:27 +0800
Subject: [PATCH] updated Jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 20576c50..3e12162c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent any
+    agent crawlab
 
     stages {
         stage('Build Frontend') {