Admin/jenkins/build/ci_build_benchmark.scala

adjust job/thread count for new hardware

object profile extends isabelle.CI_Profile
{

  import isabelle._

  def threads = 8
  def jobs = 2
  def all = false
  def groups = Nil
  def exclude = Nil
  def include = Nil
  def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))

  def pre_hook(args: List[String]) = {}
  def post_hook(results: Build.Results) = {}

}