Admin/jenkins/build/ci_build_benchmark.scala
author wenzelm
Wed, 17 May 2017 13:47:19 +0200
changeset 65851 c103358a5559
parent 65419 457e4fbed731
child 69119 088d38704913
permissions -rw-r--r--
tuned signature;

object profile extends isabelle.CI_Profile
{

  import isabelle._

  override def documents = false
  def threads = 6
  def jobs = 1
  def include = Nil
  def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))

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

  def selection = Sessions.Selection(session_groups = List("timing"))

}