diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-08 17:13:23 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-09 10:27:51 +0200 |
| commit | 3ddde7ba476d8dab4a8f18bf9fe00bc40f5b99ac (patch) | |
| tree | 06ca0ee46eb1f3673d8cceb45e4a9e6a4e3050af /doc/invocations-http-server/templates/invocations.html | |
| parent | dd6be011609937477516344d217a24aadf92fcd2 (diff) | |
| download | justbuild-3ddde7ba476d8dab4a8f18bf9fe00bc40f5b99ac.tar.gz | |
Invocation server: support filtering by remote-execution property
When looking at an invocation, it can be helpful to quickly get
all other invocation that coincide with a specific remote-execution
property (like the build image). Support this use case by adding
appropriate filtering and links.
Diffstat (limited to 'doc/invocations-http-server/templates/invocations.html')
| -rw-r--r-- | doc/invocations-http-server/templates/invocations.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/invocations-http-server/templates/invocations.html b/doc/invocations-http-server/templates/invocations.html index f2212af0..c12b19cf 100644 --- a/doc/invocations-http-server/templates/invocations.html +++ b/doc/invocations-http-server/templates/invocations.html @@ -4,7 +4,11 @@ Recent Invocations {% endblock %} {% block content %} +{% if filter_info %} +<h1>Invocations filtered by {{ filter_info | e }}</h1> +{% else %} <h1>Recent Invocations</h1> +{% endif %} {% if invocations %} <ul> {% for invocation in invocations %} |