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 failed sessions, since Jenkins entries lack ISABELLE_BUILD_OPTIONS with threads (see also 744878d72021);
authorwenzelm
Sun, 21 May 2017 23:47:55 +0200
changeset 65896 18f5014331a1
parent 65895 744878d72021
child 65897 94b0da1b242e
suppress failed sessions, since Jenkins entries lack ISABELLE_BUILD_OPTIONS with threads (see also 744878d72021);
src/Pure/Admin/jenkins.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/jenkins.scala	Sun May 21 23:41:46 2017 +0200
+++ b/src/Pure/Admin/jenkins.scala	Sun May 21 23:47:55 2017 +0200
@@ -57,7 +57,8 @@
       Build_Status.Profile("jenkins " + job_name, 0,
         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)))
+        Build_Log.Data.status + " = " + SQL.string(Build_Log.Session_Status.finished.toString) +
+        " AND " + Build_Log.Data.log_name + " LIKE " + SQL.string("%" + job_name)))
 
 
   /* job info */
isabelle