1object profile extends isabelle.CI_Profile 2{ 3 4 import isabelle._ 5 6 def threads = 2 7 def jobs = 3 8 def include = Nil 9 def select = Nil 10 11 def pre_hook(args: List[String]) = {} 12 def post_hook(results: Build.Results) = {} 13 14 def selection = Sessions.Selection(all_sessions = true) 15 16} 17