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.
serious measurements require jobs = 1;
authorwenzelm
Fri, 16 Sep 2016 15:56:56 +0200
changeset 63889 2195a7e04db5
parent 63888 5a9a1985e9fb
child 63890 3dd6bde2502d
serious measurements require jobs = 1;
Admin/jenkins/build/ci_build_benchmark.scala file | annotate | diff | comparison | revisions 
--- a/Admin/jenkins/build/ci_build_benchmark.scala	Fri Sep 16 15:54:50 2016 +0200
+++ b/Admin/jenkins/build/ci_build_benchmark.scala	Fri Sep 16 15:56:56 2016 +0200
@@ -4,7 +4,7 @@
   import isabelle._
 
   def threads = 8
-  def jobs = 2
+  def jobs = 1
   def include = Nil
   def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))
isabelle