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