From 9ea3dbd7a3f80a5813dceb11dea416dc7a01d039 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Tue, 27 May 2025 11:00:30 +0200 Subject: Invocation server: also show the build time Also show only the build time in the invocations overview, as only for the build phase detailled timing information will be available in the log of a particular information. --- doc/invocations-http-server/templates/invocation.html | 3 +++ 1 file changed, 3 insertions(+) (limited to 'doc/invocations-http-server/templates/invocation.html') diff --git a/doc/invocations-http-server/templates/invocation.html b/doc/invocations-http-server/templates/invocation.html index 6babb751..8042e19b 100644 --- a/doc/invocations-http-server/templates/invocation.html +++ b/doc/invocations-http-server/templates/invocation.html @@ -78,6 +78,9 @@ Invocation {{invocation | e}} {% if wall_clock_time %}
  • Wall-clock time: {{ wall_clock_time | e }}
  • {% endif %} + {% if build_wall_clock_time %} +
  • Wall-clock time (build only): {{ build_wall_clock_time | e }}
  • + {% endif %} {% if exit_code != None %}
  • Exit code: {{ exit_code | e }}
  • {% endif %} -- cgit v1.2.3