From dcbbd61dc71f617c4a7d88e245d568582461ed06 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Mon, 24 Oct 2016 12:50:48 +0200
Subject: [PATCH] Fixing jenkin pipeline
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 4aeccc05..ebe28f68 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -47,7 +47,7 @@ parallel (
sh "cd openfpm_vcluster && ./run.sh $WORKSPACE $NODE_NAME 7"
}
}
- }
+ },
"gin" : {node ('gin')
--
GitLab