src/Pure/Admin/build_status.scala

--- a/src/Pure/Admin/build_status.scala	Sat May 06 20:00:29 2017 +0200
+++ b/src/Pure/Admin/build_status.scala	Sat May 06 20:51:33 2017 +0200
@@ -36,8 +36,7 @@
   }
 
   val standard_profiles: List[Profile] =
-    Jenkins.build_log_profiles :::
-    Isabelle_Cronjob.remote_builds.flatten.toList.map(r => Profile(r.name, r.sql))
+    Jenkins.build_status_profiles ::: Isabelle_Cronjob.build_status_profiles
 
   sealed case class Entry(date: Date, timing: Timing, ml_timing: Timing)
   {