From a34a95dd32bff43bfde13a468268465025f9ca56 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Bidoul?= Date: Mon, 22 Nov 2021 20:57:11 +0100 Subject: [PATCH] Reconnect in case of event source errors in build pages Also improve build element in presence of unset and undeployed builds. --- src/runboat/webui-templates/build.html.jinja | 39 +++++++++++++++---- src/runboat/webui-templates/builds.html.jinja | 37 ++++++++++++++---- .../webui-templates/runboat-build-element.js | 23 +++++++---- 3 files changed, 76 insertions(+), 23 deletions(-) diff --git a/src/runboat/webui-templates/build.html.jinja b/src/runboat/webui-templates/build.html.jinja index 7fb035d..cd61c60 100644 --- a/src/runboat/webui-templates/build.html.jinja +++ b/src/runboat/webui-templates/build.html.jinja @@ -13,7 +13,7 @@ -

Other builds for this repo.

+