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