# HG changeset patch # User Lars Hupel # Date 1538651293 -7200 # Node ID 088d3870491350d449848ad1f9404f17374f37d2 # Parent 12dce58bcd3f970563c6465d6c52684cfb0771cb Jenkins: tuned profiles diff -r 12dce58bcd3f -r 088d38704913 Admin/jenkins/build/ci_build_benchmark.scala --- a/Admin/jenkins/build/ci_build_benchmark.scala Thu Oct 04 11:18:39 2018 +0200 +++ b/Admin/jenkins/build/ci_build_benchmark.scala Thu Oct 04 13:08:13 2018 +0200 @@ -4,8 +4,8 @@ import isabelle._ override def documents = false - def threads = 6 - def jobs = 1 + override def threads = 6 + override def jobs = 1 def include = Nil def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks")) diff -r 12dce58bcd3f -r 088d38704913 Admin/jenkins/build/ci_build_mac.scala --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/jenkins/build/ci_build_mac.scala Thu Oct 04 13:08:13 2018 +0200 @@ -0,0 +1,16 @@ +object profile extends isabelle.CI_Profile +{ + + import isabelle._ + + override def threads = 2 + override def jobs = 1 + def include = Nil + def select = Nil + + def pre_hook(args: List[String]) = {} + def post_hook(results: Build.Results) = {} + + def selection = Sessions.Selection(all_sessions = true, exclude_sessions = List("HOL-Proofs")) + +} diff -r 12dce58bcd3f -r 088d38704913 Admin/jenkins/build/ci_build_makeall_seq.scala --- a/Admin/jenkins/build/ci_build_makeall_seq.scala Thu Oct 04 11:18:39 2018 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,16 +0,0 @@ -object profile extends isabelle.CI_Profile -{ - - import isabelle._ - - def threads = 2 - def jobs = 1 - def include = Nil - def select = Nil - - def pre_hook(args: List[String]) = {} - def post_hook(results: Build.Results) = {} - - def selection = Sessions.Selection(all_sessions = true, exclude_sessions = List("HOL-Proofs")) - -}