Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision ef9cc56166fd9c387b86ce90329519551fed8ba1)
+++ Jenkinsfile	(revision 3f225033f4fa0377fcee2d1a008112edea36ac15)
@@ -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'
 }