Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/jenkins.scala
changeset 65798 d459db0f6135
parent 65788 bc00ac4dba25
child 65896 18f5014331a1 
--- a/src/Pure/Admin/jenkins.scala	Wed May 10 11:13:18 2017 +0200
+++ b/src/Pure/Admin/jenkins.scala	Wed May 10 17:24:31 2017 +0200
@@ -54,7 +54,7 @@
 
   val build_status_profiles: List[Build_Status.Profile] =
     build_log_jobs.map(job_name =>
-      Build_Status.Profile("jenkins " + job_name,
+      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)))
isabelle