* merged PR #1225
* improved heuristics (prevent update of statitistic during testing)
This commit is contained in:
lumapu 2023-11-12 13:32:00 +01:00
parent e8dbe02e4f
commit a82777b2a1
5 changed files with 77 additions and 31 deletions

View file

@ -188,6 +188,19 @@ function tr(val1, val2) {
]);
}
function tr2(cols) {
var t = [];
for(val of cols) {
if(typeof val == "number")
val = String(val);
if(t.length == 0)
t.push(ml("th", {}, val));
else
t.push(ml("td", {}, val));
}
return ml("tr", {}, t);
}
function badge(success, text, second="error") {
return ml("span", {class: "badge badge-" + ((success) ? "success" : second)}, text);
}