diff options
Diffstat (limited to 'doc/invocations-http-server/templates/invocation.html')
| -rw-r--r-- | doc/invocations-http-server/templates/invocation.html | 3 |
1 files changed, 3 insertions, 0 deletions
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 %} <li> Wall-clock time: <tt>{{ wall_clock_time | e }}</tt></li> {% endif %} + {% if build_wall_clock_time %} + <li> Wall-clock time (build only): <tt>{{ build_wall_clock_time | e }}</tt></li> + {% endif %} {% if exit_code != None %} <li> Exit code: <tt>{{ exit_code | e }}</tt></li> {% endif %} |