Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/jenkins/build/ci_build_makeall.scala
changeset 63348 b3e5bdb784f5
parent 63288 e0513d6e4916
child 63385 370cce7ad9b9 
--- a/Admin/jenkins/build/ci_build_makeall.scala	Wed Jun 22 16:04:03 2016 +0200
+++ b/Admin/jenkins/build/ci_build_makeall.scala	Wed Jun 22 16:47:55 2016 +0200
@@ -3,8 +3,8 @@
 
   import isabelle._
 
-  def threads = 4
-  def jobs = 2
+  def threads = 2
+  def jobs = 3
   def all = true
   def groups = Nil
   def exclude = Nil
isabelle