src/Pure/Admin/build_log.scala

   }
 
   object Jenkins
   {
     val engine = "jenkins"
+    val Host = new Regex("""^Building remotely on (\S+) \((\S+)\).*$""")
     val Start = new Regex("""^Started .*$""")
     val Start_Date = new Regex("""^Build started at (.+)$""")
     val No_End = new Regex("""$.""")
     val Isabelle_Version = new Regex("""^Isabelle id (\S+)$""")
     val AFP_Version = new Regex("""^AFP id (\S+)$""")

       case Jenkins.Start() :: _
       if log_file.lines.contains(Jenkins.CONFIGURATION) ||
          log_file.lines.last.startsWith(Jenkins.FINISHED) =>
         log_file.lines.dropWhile(_ != Jenkins.BUILD) match {
           case Jenkins.BUILD :: _ :: Jenkins.Start_Date(log_file.Strict_Date(start)) :: _ =>
-            parse(Jenkins.engine, "", start.to(ZoneId.of("Europe/Berlin")), Jenkins.No_End,
+            val host =
+              log_file.lines.takeWhile(_ != Jenkins.CONFIGURATION).collectFirst({
+                case Jenkins.Host(a, b) => a + "." + b
+              }).getOrElse("")
+            parse(Jenkins.engine, host, start.to(ZoneId.of("Europe/Berlin")), Jenkins.No_End,
               Jenkins.Isabelle_Version, Jenkins.AFP_Version)
           case _ => Meta_Info.empty
         }
 
       case line :: _ if line.startsWith("\u0000") => Meta_Info.empty