Admin/jenkins/build/ci_build_mac.scala

Jenkins: tuned profiles

object profile extends isabelle.CI_Profile
{

  import isabelle._

  override def threads = 2
  override 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"))

}