Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision f97b614325a35dd584678cf2143cd1981af1bde8)
+++ Jenkinsfile	(revision efd60d6740fa36f3e171b9a69fe629b06224d1df)
@@ -80,4 +80,12 @@
 			make_doc()
 		}
+}
+
+def benchmark() {
+	stage 'Benchmark'
+
+		status_prefix = 'Documentation'
+
+		sh 'make -C src/benchmark csv-data >> ~cforall/public_html/perf-history/concurrency.csv'
 }
 
@@ -183,4 +191,7 @@
 				doc_build()
 
+				//Run benchmark and save result
+				benchmark()
+
 				if( bIsFullBuild ) {
 					//Compile using gcc-5