author | wenzelm |
Thu, 06 Apr 2017 22:04:30 +0200 | |
changeset 65415 | 8cd54b18b68b |
parent 63894 | 7534eec7cfad |
child 65419 | 457e4fbed731 |
permissions | -rw-r--r-- |
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 select_sessions(sessions: Sessions.T) = sessions.selection(session_groups = List("timing")) }