diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-27 11:00:30 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-28 12:32:04 +0200 |
| commit | 9ea3dbd7a3f80a5813dceb11dea416dc7a01d039 (patch) | |
| tree | 08e241714ef4fa00475a10e79256454c2fa3c1b5 /doc/invocations-http-server/templates/invocation.html | |
| parent | ae33d0f287e83769dbef9287e64006e1c0c463e9 (diff) | |
| download | justbuild-9ea3dbd7a3f80a5813dceb11dea416dc7a01d039.tar.gz | |
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.
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 %} |