invocation server: add presentation of invocation wall-clock time

3 files changed, 16 insertions, 1 deletions

diff --git a/doc/invocations-http-server/templates/critical_path.html b/doc/invocations-http-server/templates/critical_path.html
index 8d818809..e345b50b 100644
--- a/doc/invocations-http-server/templates/critical_path.html
+++ b/doc/invocations-http-server/templates/critical_path.html
@@ -11,8 +11,16 @@ Invocations {{invocation | e}}
 <h2>Overview</h2>
 <ul>
   <li>Invocation: <a href="/invocations/{{ invocation | e }}"><tt>{{ invocation | e }}</tt></a></li>
+  {% if critical_artifact["wall_clock_time"] %}
+  <li>Wall-clock time: <tt>{{ critical_artifact["wall_clock_time"] | e }}</tt></li>
+  {% endif %}
+  {% if critical_artifact["duration"] %}
+  <li>Length of critical path: <tt>{{ critical_artifact["duration"] | e }}</tt></li>
+  {% endif %}
+  {% if critical_artifact["name"] %}
   <li>Critical artifact: <tt>{{ critical_artifact["name"] | e }}</tt></li>
-  <li>Duration: <tt>{{ critical_artifact["duration"] | e }}</tt></li>
+  {% endif %}
+  {% if critical_artifact["path"] %}
   <li>Path:</li>
   <ul>
   {% for entry in critical_artifact["path"] %}
@@ -23,5 +31,6 @@ Invocations {{invocation | e}}
     {% endif %}
   {% endfor %}
   </ul>
+  {% endif %}
 </ul>
 {% endblock %}
diff --git a/doc/invocations-http-server/templates/invocation.html b/doc/invocations-http-server/templates/invocation.html
index 6ccb0a56..6babb751 100644
--- a/doc/invocations-http-server/templates/invocation.html
+++ b/doc/invocations-http-server/templates/invocation.html
@@ -75,6 +75,9 @@ Invocation {{invocation | e}}
   {% else %}
   <li> Context: <i>(none)</i></li>
   {% endif %}
+  {% if wall_clock_time %}
+  <li> Wall-clock time: <tt>{{ wall_clock_time | e }}</tt></li>
+  {% endif %}
   {% if exit_code != None %}
   <li> Exit code: <tt>{{ exit_code | e }}</tt></li>
   {% endif %}
diff --git a/doc/invocations-http-server/templates/invocations.html b/doc/invocations-http-server/templates/invocations.html
index 607b9a7a..b5ef5433 100644
--- a/doc/invocations-http-server/templates/invocations.html
+++ b/doc/invocations-http-server/templates/invocations.html
@@ -72,6 +72,9 @@ Filter by:
     {% if invocation.target %}
     <span id="invocation-target"><tt>{{ invocation.target | e}}</tt></span>
     {% endif %}
+    {% if invocation.wall_clock_time %}
+    <tt>{{ invocation.wall_clock_time | e}}</tt>
+    {% endif %}
     {% if invocation.exit_code != 0 %}
     <span id="invocation-failure"><b>
       {% if invocation.exit_code == 1 %}