author | nipkow |
Tue, 05 Nov 2019 19:15:00 +0100 | |
changeset 71041 | fdb6c5034c24 |
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")) }