src/Pure/Admin/jenkins.scala
changeset 65764 1af6d544c2a3
parent 65747 5a3052b2095f
child 65767 222ed8901008
     1.1 --- a/src/Pure/Admin/jenkins.scala	Sun May 07 22:10:48 2017 +0200
     1.2 +++ b/src/Pure/Admin/jenkins.scala	Sun May 07 23:18:23 2017 +0200
     1.3 @@ -54,7 +54,7 @@
     1.4  
     1.5    val build_status_profiles: List[Build_Status.Profile] =
     1.6      build_log_jobs.map(job_name =>
     1.7 -      Build_Status.Profile("jenkins_" + job_name,
     1.8 +      Build_Status.Profile("Jenkins " + job_name,
     1.9          Build_Log.Prop.build_engine + " = " + SQL.string(Build_Log.Jenkins.engine) + " AND " +
    1.10          Build_Log.Data.log_name + " LIKE " + SQL.string("%" + job_name)))
    1.11