author | wenzelm |
Sat, 01 Jun 2019 11:29:59 +0200 | |
changeset 70299 | 83774d669b51 |
parent 69119 | 088d38704913 |
child 73938 | 76dbf39a708d |
permissions | -rw-r--r-- |
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")) }