diff --git a/admin/jenkins/ci_build_mac.scala b/admin/jenkins/ci_build_mac.scala
--- a/admin/jenkins/ci_build_mac.scala
+++ b/admin/jenkins/ci_build_mac.scala
@@ -1,24 +1,24 @@
 object profile extends isabelle.CI_Profile
 {
 
   import isabelle._
 
   val afp = Path.explode("$ISABELLE_HOME/afp")
   val afp_thys = afp + Path.explode("thys")
 
   override def threads = 8
   override def jobs = 1
   def include = List(afp_thys)
   def select = Nil
 
   def pre_hook(args: List[String]) =
     println(s"Build for AFP id ${hg_id(afp)}")
 
   def post_hook(results: Build.Results) = {}
 
   def selection = Sessions.Selection(
     all_sessions = true,
-    exclude_sessions = List("HOL-Proofs", "HOL-ODE-Numerics", "Linear_Programming"),
+    exclude_sessions = List("HOL-Proofs", "HOL-ODE-Numerics", "Linear_Programming", "HOL-Nominal-Examples"),
     exclude_session_groups = List("slow"))
 
 }