From db10e3a96b71fe05b781f4cf4c986c9a7e61b704 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= Date: Thu, 2 Mar 2023 20:29:02 +0100 Subject: [PATCH 1/3] Enable doc summary in graphs page --- site/src/request_handlers/graph.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/site/src/request_handlers/graph.rs b/site/src/request_handlers/graph.rs index 90dced51e..ccd596368 100644 --- a/site/src/request_handlers/graph.rs +++ b/site/src/request_handlers/graph.rs @@ -177,7 +177,7 @@ fn create_summary( let mut summary_benchmark = HashMap::new(); let summary_query_cases = iproduct!( ctxt.summary_scenarios(), - vec![Profile::Check, Profile::Debug, Profile::Opt] + vec![Profile::Check, Profile::Debug, Profile::Opt, Profile::Doc] ); for (scenario, profile) in summary_query_cases { let baseline = match baselines.entry((profile, scenario)) { From 14df13737e89cbe3244e6b0e2c9455d75ff9af5f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= Date: Thu, 2 Mar 2023 20:29:47 +0100 Subject: [PATCH 2/3] Enable doc profile in graph page --- site/static/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/site/static/index.html b/site/static/index.html index f0a660118..b7e17c104 100644 --- a/site/static/index.html +++ b/site/static/index.html @@ -102,7 +102,7 @@

This may take a while!

const otherCacheStateColors = ["#8085e9", "#f15c80", "#e4d354", "#2b908f", "#f45b5b", "#91e8e1"]; const interpolatedColor = "#fcb0f1"; - const basicProfiles = ["Check", "Debug", "Opt"]; + const profiles = ["Check", "Debug", "Opt", "Doc"]; function tooltipPlugin({ onclick, commits, isInterpolated, absoluteMode, shiftX = 10, shiftY = 10 }) { let tooltipLeftOffset = 0; @@ -426,7 +426,7 @@

This may take a while!

sortedBenchNames.forEach(name => { benchmarks[name] = {}; - for (let profile of basicProfiles) { + for (let profile of profiles) { if (data.benchmarks[name].hasOwnProperty(profile)) { benchmarks[name][profile.toLowerCase()] = optInterpolated(data.benchmarks[name][profile]); } From 1932351507f0ee15cc78e9d03c2ea39f2c53f058 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= Date: Thu, 2 Mar 2023 20:35:31 +0100 Subject: [PATCH 3/3] Use four column layout on graph page --- site/static/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/site/static/index.html b/site/static/index.html index b7e17c104..2b5d72f6b 100644 --- a/site/static/index.html +++ b/site/static/index.html @@ -385,7 +385,7 @@

This may take a while!

let plotOpts = genPlotOpts({ title: benchName + "-" + benchKind, - width: Math.floor(window.innerWidth / 3) - 16, + width: Math.floor(window.innerWidth / 4) - 16, height: 300, yAxisLabel, series: seriesOpts,