# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1474037339 -7200
# Node ID c181a84eb6de3af56182e769fd498dd4aafb3d18
# Parent  c1773335034462c82bbf533e4fecaacd19719b51
benchmark profile runs on small worker now (6 cores)

diff -r c17733350344 -r c181a84eb6de Admin/jenkins/build/ci_build_benchmark.scala
--- a/Admin/jenkins/build/ci_build_benchmark.scala	Fri Sep 16 16:37:11 2016 +0200
+++ b/Admin/jenkins/build/ci_build_benchmark.scala	Fri Sep 16 16:48:59 2016 +0200
@@ -3,7 +3,7 @@
 
   import isabelle._
 
-  def threads = 8
+  def threads = 6
   def jobs = 1
   def include = Nil
   def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))