author | Lars 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 |
--- 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")) }