From d87de0c067926669f25cdffce6f307ac95c10a23 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Fri, 28 Oct 2016 18:54:33 +0200
Subject: [PATCH] Devices pipeline with success notification
---
Jenkinsfile | 3 +++
1 file changed, 3 insertions(+)
diff --git a/Jenkinsfile b/Jenkinsfile
index d48cd7e..438b5a0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,6 +14,7 @@ parallel (
stage ('gin_run')
{
sh "./src/mem"
+ sh "./success.sh 2 gin openfpm_devices"
}
}},
@@ -29,6 +30,7 @@ parallel (
stage ('nyu_run')
{
sh "./src/mem"
+ sh "./success.sh 2 nyu openfpm_devices"
}
}},
@@ -45,6 +47,7 @@ parallel (
stage ('sb15_run')
{
sh "./src/mem"
+ sh "./success.sh 2 sbalzarini-mac-15 openfpm_devices"
}
}}
--
GitLab