# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1717777010 -7200
# Node ID c19f44f6525a7f1b30775a3131d689bf66b19a54
# Parent  3c3a9154c1072db831ec7f67603f97e6695c2dff
omit showing previous failures for user builds;

diff -r 3c3a9154c107 -r c19f44f6525a src/Pure/Build/build_manager.scala
--- 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(