src/Pure/Tools/build_process.scala

--- a/src/Pure/Tools/build_process.scala	Wed Jun 28 11:33:11 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Wed Jun 28 11:35:02 2023 +0200
@@ -343,7 +343,7 @@
           val start = res.date(Base.start)
           val stop = res.get_date(Base.stop)
           Build(build_uuid, ml_platform, options, start, stop)
-        })
+        }).sortBy(_.start)(Date.Ordering)
 
     def start_build(
       db: SQL.Database,