merged
authorLars Hupel <lars.hupel@mytum.de>
Sat, 26 May 2018 11:06:01 +0200
changeset 68280 310b8c1e4dbb
parent 68279 5824e400cecc (diff)
parent 68278 23e12da0866c (current diff)
child 68286 b9160ca067ae
merged
--- a/Admin/jenkins/build/ci_build_makeall_seq.scala	Fri May 25 23:11:06 2018 +0200
+++ b/Admin/jenkins/build/ci_build_makeall_seq.scala	Sat May 26 11:06:01 2018 +0200
@@ -11,6 +11,6 @@
   def pre_hook(args: List[String]) = {}
   def post_hook(results: Build.Results) = {}
 
-  def selection = Sessions.Selection(all_sessions = true)
+  def selection = Sessions.Selection(all_sessions = true, exclude_sessions = List("HOL-Proofs"))
 
 }