author | Lars Hupel <lars.hupel@mytum.de> |
Fri, 25 May 2018 21:08:00 +0200 | |
changeset 68279 | 5824e400cecc |
parent 65419 | 457e4fbed731 |
permissions | -rw-r--r-- |
object profile extends isabelle.CI_Profile { import isabelle._ def threads = 2 def jobs = 1 def include = Nil def select = Nil def pre_hook(args: List[String]) = {} def post_hook(results: Build.Results) = {} def selection = Sessions.Selection(all_sessions = true, exclude_sessions = List("HOL-Proofs")) }