--- a/src/Pure/Tools/build_schedule.scala Mon Dec 18 22:49:33 2023 +0100
+++ b/src/Pure/Tools/build_schedule.scala Wed Dec 13 11:14:11 2023 +0100
@@ -1041,7 +1041,8 @@
val build_uuid = res.string(Schedules.build_uuid)
val generator = res.string(Schedules.generator)
val start = res.date(Schedules.start)
- Schedule(build_uuid, generator, start, Graph.empty)
+ val serial = res.long(Schedules.serial)
+ Schedule(build_uuid, generator, start, Graph.empty, serial)
})
for (schedule <- schedules.sortBy(_.start)(Date.Ordering)) yield {