Convert dashboard page to a template

Author: Kobzol

site/src/server.rs

@@ -599,7 +599,7 @@ async fn handle_fs_path(req: &Request, path: &str) -> Option<http::Response<hype
     }
 
     let source = match path {
-        "/bootstrap.html" | "/help.html" | "/status.html" => TEMPLATES
+        "/bootstrap.html" | "/dashboard.html" | "/help.html" | "/status.html" => TEMPLATES
             .render(&format!("pages/{}", path.trim_start_matches("/")))
             .await
             .unwrap()

site/static/dashboard.html

@@ -0,0 +1,59 @@
+function render(element, name, data, versions) {
+    let articles = {"check": "a", "debug": "a", "opt": "an", "doc": "a"};
+    new Highcharts.chart(document.getElementById(element), {
+        chart: {
+            zoomType: "xy",
+            renderTo: document.getElementById(element),
+            type: "line",
+        },
+        title: {
+            text: `Average time for ${articles[name]} ${name} build`,
+        },
+        yAxis: {
+            title: {text: "Seconds"},
+            min: 0,
+        },
+        xAxis: {
+            categories: versions,
+            title: {text: "Version"},
+        },
+        series: [
+            {
+                name: "full",
+                animation: false,
+                data: data.clean_averages,
+            },
+            {
+                name: "incremental full",
+                animation: false,
+                data: data.base_incr_averages,
+            },
+            {
+                name: "incremental unchanged",
+                animation: false,
+                data: data.clean_incr_averages,
+            },
+            {
+                name: "incremental patched: println",
+                animation: false,
+                data: data.println_incr_averages,
+            },
+        ],
+    });
+}
+
+function populate_data(data) {
+    data = data.Ok;
+    render("check-average-times", "check", data.check, data.versions);
+    render("debug-average-times", "debug", data.debug, data.versions);
+    render("opt-average-times", "opt", data.opt, data.versions);
+    render("doc-average-times", "doc", data.doc, data.versions);
+}
+
+function make_data() {
+    fetch(BASE_URL + "/dashboard", {}).then(function (response) {
+        response.json().then(data => populate_data(data));
+    });
+}
+
+make_data();

site/static/scripts/dashboard.js

@@ -0,0 +1,16 @@
+{% extends "layout.html" %}
+{% block head %}
+<link rel="stylesheet" type="text/css" href="perf.css">
+<script src="https://cdnjs.cloudflare.com/ajax/libs/highcharts/6.0.7/highcharts.js"></script>
+{% endblock %}
+{% block content %}
+<div id="check-average-times"></div>
+<div id="debug-average-times"></div>
+<div id="opt-average-times"></div>
+<div id="doc-average-times"></div>
+<div id="as-of"></div>
+{% endblock %}
+{% block script %}
+<script src="shared.js"></script>
+<script src="scripts/dashboard.js"></script>
+{% endblock %}