Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision ef9cc56166fd9c387b86ce90329519551fed8ba1)
+++ Jenkinsfile	(revision 2988eebb61a23bfe28efea59b2bdd2e4fb6028c1)
@@ -320,5 +320,5 @@
 
 		//Then publish the results
-		sh 'curl --silent --data @bench.csv http://plg2:8082/jenkins/publish > /dev/null'
+		sh 'curl --silent --data @bench.csv http://plg2:8082/jenkins/publish > /dev/null || true'
 }