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.
suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);
authorwenzelm
Mon, 08 May 2017 10:27:13 +0200
changeset 65767 222ed8901008
parent 65766 2edb89630a80
child 65768 b8da621a3297
suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);
src/Pure/Admin/jenkins.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/jenkins.scala	Mon May 08 10:23:12 2017 +0200
+++ b/src/Pure/Admin/jenkins.scala	Mon May 08 10:27:13 2017 +0200
@@ -56,6 +56,7 @@
     build_log_jobs.map(job_name =>
       Build_Status.Profile("Jenkins " + job_name,
         Build_Log.Prop.build_engine + " = " + SQL.string(Build_Log.Jenkins.engine) + " AND " +
+        Build_Log.Data.session_name + " <> " + SQL.string("Pure") + " AND " +
         Build_Log.Data.log_name + " LIKE " + SQL.string("%" + job_name)))
isabelle