From f8f75304baf46b42b9a1d1cb6b800f05e02369b9 Mon Sep 17 00:00:00 2001
From: Hui Lan <lanhui@zjnu.edu.cn>
Date: Mon, 1 Feb 2021 19:53:01 +0800
Subject: Jenkinsfile: change the agent part.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 76ff1c7..9dbcc2d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent none
+    agent any
     stages {
         stage('build') {
             steps {
-- 
cgit v1.2.1