Merge pull request #1274 from herbie-fp/hide-demo-metrics-link

Hide the metrics link for the online demo (by seed)

Author: pavpanchekha

src/reports/resources/report-page.js

@@ -171,10 +171,12 @@ function buildDropdown(options, selected, placeholder, onChange) {
 }
 
 function buildHeader(title) {
+    // The online demo always runs with seed 1; hide the Metrics link there
+    const showMetricsLink = resultsJsonData?.seed != 1
     return Element("header", {}, [
         Element("h1", {}, title),
         Element("img", { src: "logo-car.png" }, []),
-        Element("nav", {}, [
+        showMetricsLink && Element("nav", {}, [
             Element("ul", {}, [
                 Element("li", {}, [
                     Element("a", { href: "timeline.html" }, ["Metrics"])