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