# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1718182073 -7200
# Node ID 2503ff5d29ce9e819895832bce463a8356f85c86
# Parent  3b4f9e8b46cbc6e71105bb6089f4ece899256403
tuned messages;

diff -r 3b4f9e8b46cb -r 2503ff5d29ce src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Wed Jun 12 08:52:36 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Wed Jun 12 10:47:53 2024 +0200
@@ -916,6 +916,7 @@
         ci_job.trigger match {
           case isabelle.CI_Build.Timed(in_interval) if in_interval(previous, next) =>
             val task = Task(CI_Build(ci_job), ci_job.hosts.hosts_spec, isabelle_rev = "default")
+            echo("Triggered task " + task.kind)
             _state = _state.add_pending(task)
           case _ =>
         }
@@ -1345,6 +1346,8 @@
     val ci_jobs =
       space_explode(',', options.string("build_manager_ci_jobs")).map(isabelle.CI_Build.the_job)
 
+    progress.echo_if(ci_jobs.nonEmpty, "Managing ci jobs: " + commas_quote(ci_jobs.map(_.name)))
+
     using(store.open_database())(db =>
       Build_Manager.private_data.transaction_lock(db,
         create = true, label = "Build_Manager.build_manager") { store.init_dirs() })