Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
benchmark profile runs on small worker now (6 cores)
authorLars Hupel <lars.hupel@mytum.de>
Fri, 16 Sep 2016 16:48:59 +0200
changeset 63893 c181a84eb6de
parent 63892 c17733350344
child 63894 7534eec7cfad
benchmark profile runs on small worker now (6 cores)
Admin/jenkins/build/ci_build_benchmark.scala file | annotate | diff | comparison | revisions 
--- 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"))
isabelle