4754: add test_workbench_performance

diff --git a/jenkins/run-tests.sh b/jenkins/run-tests.sh
index 97cb27b21d8f360a228931fe046685e74875fcdf..115db83ce276b2194c947679742f4be4f744b29d 100755 (executable)
--- a/jenkins/run-tests.sh
+++ b/jenkins/run-tests.sh
@@ -420,6 +420,13 @@ test_workbench() {
 }
 do_test workbench
 
+test_workbench_performance() {
+    cd "$WORKSPACE/apps/workbench" \
+        && HOME="$GEMHOME" bundle install --no-deployment \
+        && HOME="$GEMHOME" bundle exec rake test:benchmark
+}
+do_test workbench_performance
+
 report_outcomes
 clear_temp