Admin/jenkins/build/ci_build_benchmark.scala
author Fabian Huch <huch@in.tum.de>
Fri, 09 Jul 2021 08:48:34 +0200
changeset 73938 76dbf39a708d
parent 69119 088d38704913
child 75396 45641af13418
permissions -rw-r--r--
jenkins: add pre/post-hook results for benchmark
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
63315
67c38b9ea2fb benchmark build profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     1
object profile extends isabelle.CI_Profile
67c38b9ea2fb benchmark build profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     2
{
67c38b9ea2fb benchmark build profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     3
67c38b9ea2fb benchmark build profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     4
  import isabelle._
67c38b9ea2fb benchmark build profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     5
63894
7534eec7cfad benchmark doesn't need to build documents
Lars Hupel <lars.hupel@mytum.de>
parents: 63893
diff changeset
     6
  override def documents = false
69119
088d38704913 Jenkins: tuned profiles
Lars Hupel <lars.hupel@mytum.de>
parents: 65419
diff changeset
     7
  override def threads = 6
088d38704913 Jenkins: tuned profiles
Lars Hupel <lars.hupel@mytum.de>
parents: 65419
diff changeset
     8
  override def jobs = 1
63315
67c38b9ea2fb benchmark build profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
     9
  def include = Nil
67c38b9ea2fb benchmark build profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    10
  def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))
67c38b9ea2fb benchmark build profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    11
73938
76dbf39a708d jenkins: add pre/post-hook results for benchmark
Fabian Huch <huch@in.tum.de>
parents: 69119
diff changeset
    12
  def pre_hook(args: List[String]) = Result.ok
76dbf39a708d jenkins: add pre/post-hook results for benchmark
Fabian Huch <huch@in.tum.de>
parents: 69119
diff changeset
    13
  def post_hook(results: Build.Results) = Result.ok
63315
67c38b9ea2fb benchmark build profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    14
65419
457e4fbed731 explicit Sessions.Selection;
wenzelm
parents: 65415
diff changeset
    15
  def selection = Sessions.Selection(session_groups = List("timing"))
63385
Lars Hupel <lars.hupel@mytum.de>
parents: 63348
diff changeset
    16
63315
67c38b9ea2fb benchmark build profile
Lars Hupel <lars.hupel@mytum.de>
parents:
diff changeset
    17
}