From 60bf640b927fe383002b1af9512e9d84f1b27f81 Mon Sep 17 00:00:00 2001 From: Sascha Roloff Date: Wed, 14 May 2025 19:22:53 +0200 Subject: Invocation server: add remote-execution address filter --- doc/invocations-http-server/templates/invocation.html | 13 ++++++++++--- doc/invocations-http-server/templates/invocations.html | 11 +++++++++++ 2 files changed, 21 insertions(+), 3 deletions(-) (limited to 'doc/invocations-http-server/templates') diff --git a/doc/invocations-http-server/templates/invocation.html b/doc/invocations-http-server/templates/invocation.html index f8df4a21..c7cba837 100644 --- a/doc/invocations-http-server/templates/invocation.html +++ b/doc/invocations-http-server/templates/invocation.html @@ -120,10 +120,17 @@ Inocations {{invocation | e}} {% if config %}
  • Target configuration: {{ config | e }}
  • {% endif %} - {% if remote_address %} -
  • Remote: + {% if has_remote %} +
  • + {% if is_remote %} + Remote build: + {% else %} + Local build: + {% endif %}