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