--- a/src/Pure/Build/build_manager.scala Fri Jun 07 17:40:12 2024 +0200
+++ b/src/Pure/Build/build_manager.scala Fri Jun 07 18:16:50 2024 +0200
@@ -953,7 +953,9 @@
def render_job(job: Job): XML.Body =
par(link_build(job.name, job.number) :: text(": running since " + job.start_date)) ::
- render_if(finished.headOption.exists(_.status != Status.ok), render_previous(finished))
+ render_if(
+ finished.headOption.exists(_.status != Status.ok) && job.kind != User_Build.name,
+ render_previous(finished))
def render_result(result: Result): XML.Body =
par(