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/Build/build_schedule.scala
changeset 79818 0c2a62a9f136
parent 79805 45198ea3f0b3
child 79819 141df3fb25bf 
--- a/src/Pure/Build/build_schedule.scala	Fri Mar 08 20:28:29 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Fri Mar 08 20:29:05 2024 +0100
@@ -42,7 +42,7 @@
       val measurements =
         for {
           (meta_info, build_info) <- build_history
-          build_host = meta_info.get(Build_Log.Prop.build_host)
+          build_host = meta_info.get_build_host
           (job_name, session_info) <- build_info.sessions.toList
           if build_info.finished_sessions.contains(job_name)
           hostname <- session_info.hostname.orElse(build_host).toList
isabelle