clarified: more operations;

--- a/src/Pure/Build/build_ci.scala	Tue Jan 21 11:14:00 2025 +0100
+++ b/src/Pure/Build/build_ci.scala	Tue Jan 21 11:15:34 2025 +0100
@@ -71,6 +71,8 @@
 
   object Timed {
     def nightly(start: Time = Time.hms(0, 17, 0)): Timed = Timed(Date.Daily(start))
+    def weekly(day: Date.Day = Date.Day.sun, start: Time = Time.hms(0, 17, 0)): Timed =
+      Timed(Date.Weekly(day, Date.Daily(start)))
   }
 
   case class Timed(cycle: Date.Cycle) extends Trigger {