# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1737454440 -3600
# Node ID b1e1019a78e4a5e5972fdc5aa5feadece6844458
# Parent  058f239b860a9b546edfbde14dc8a6e9cda0dd22
tuned default nightly start: less events at 00:17:00;

diff -r 058f239b860a -r b1e1019a78e4 src/Pure/Build/build_ci.scala
--- a/src/Pure/Build/build_ci.scala	Tue Jan 21 11:12:44 2025 +0100
+++ b/src/Pure/Build/build_ci.scala	Tue Jan 21 11:14:00 2025 +0100
@@ -70,7 +70,7 @@
   case object On_Commit extends Trigger
 
   object Timed {
-    def nightly(start_time: Time = Time.zero): Timed = Timed(Date.Daily(start_time))
+    def nightly(start: Time = Time.hms(0, 17, 0)): Timed = Timed(Date.Daily(start))
   }
 
   case class Timed(cycle: Date.Cycle) extends Trigger {