Admin/jenkins/build/ci_build_benchmark.scala
author wenzelm
Sat, 01 Jun 2019 11:29:59 +0200
changeset 70299 83774d669b51
parent 69119 088d38704913
child 73938 76dbf39a708d
permissions -rw-r--r--
Added tag Isabelle2019-RC4 for changeset ad2d84c42380

object profile extends isabelle.CI_Profile
{

  import isabelle._

  override def documents = false
  override def threads = 6
  override 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"))

}