Invocation server: also present the artifacts of an invocation

... if available. This can be useful, when presenting builds
that are mainly there to have artifacts available for manual
use.

1 files changed, 16 insertions, 0 deletions

diff --git a/doc/invocations-http-server/templates/invocation.html b/doc/invocations-http-server/templates/invocation.html
index 65ec9127..b09ca0ac 100644
--- a/doc/invocations-http-server/templates/invocation.html
+++ b/doc/invocations-http-server/templates/invocation.html
@@ -96,6 +96,22 @@ Inocations {{invocation | e}}
   {% if exit_code != None %}
   <li> exit code: {{ exit_code | e }}</li>
   {% endif %}
+  {% if artifacts %}
+  <li>
+    <details>
+      <summary>artifacts</summary>
+      <ul>
+        {% for entry in artifacts %}
+        <li>
+          <a href="/{{ entry["type"] | e}}/{{ entry["hash"] | e}}">{{ entry["path"] | e}}</a>
+          {% if entry["type"] == "blob" %}
+          <a href="/blob/{{ entry["hash"] | e}}/{{ entry["basename"] | e}}">[&darr;]</a>
+          {% endif %}
+        </li>
+        {% endfor %}
+      </ul>
+    </details>
+  {% endif %}
 </ul>
 
 {% if have_profile %}