Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorpaulson
Sat, 26 May 2018 10:11:11 +0100
changeset 68286 b9160ca067ae
parent 68280 310b8c1e4dbb (diff)
parent 68285 9d93b13f07ce (current diff)
child 68287 2ae74a278c10
child 68296 69d680e94961
merged
--- a/Admin/jenkins/build/ci_build_makeall_seq.scala	Sat May 26 08:36:19 2018 +0100
+++ b/Admin/jenkins/build/ci_build_makeall_seq.scala	Sat May 26 10:11:11 2018 +0100
@@ -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"))
 
 }
isabelle