diff options
author | Sascha Roloff <sascha.roloff@huawei.com> | 2025-05-14 19:38:09 +0200 |
---|---|---|
committer | Sascha Roloff <sascha.roloff@huawei.com> | 2025-05-15 14:32:54 +0200 |
commit | 37ecbd23a81d72f5e4fc17e9c33ca1b8ff7d9f1f (patch) | |
tree | 4315afc4daf8a8bef4c644334cd726afbdf4dfef /doc | |
parent | 58605c971c8829c36fd0a055d75cc5aaf8c4656a (diff) | |
download | justbuild-37ecbd23a81d72f5e4fc17e9c33ca1b8ff7d9f1f.tar.gz |
Invocation server: print nothing for empty remote-execution properties
Diffstat (limited to 'doc')
-rw-r--r-- | doc/invocations-http-server/templates/invocation.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/invocations-http-server/templates/invocation.html b/doc/invocations-http-server/templates/invocation.html index 09faf226..f8df4a21 100644 --- a/doc/invocations-http-server/templates/invocation.html +++ b/doc/invocations-http-server/templates/invocation.html @@ -134,8 +134,6 @@ Inocations {{invocation | e}} {% endfor %} </ul> </li> - {% else %} - <li> Properties: <i>(none)</i></li> {% endif %} {% if remote_dispatch %} <li> Dispatch: <tt>{{ remote_dispatch | e }}</tt></li> |