make header + tab title more clear

egraphs-good · May 28, 2024 · 2551145 · 2551145
1 parent af7bc48
commit 2551145
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/infra/nightly-resources/handlers.js b/infra/nightly-resources/handlers.js
@@ -28,6 +28,9 @@ async function load_llvm() {
   const benchmark = params.get("benchmark");
   const runMode = params.get("runmode");
 
+  document.title = `${benchmark} | ${runMode}`;
+  document.getElementById("llvm-header").innerText = `Benchmark: ${benchmark} | Run Mode: ${runMode}`;
+
   if (!benchmark || !runMode) {
     console.error("missing query params, this probably shouldn't happen");
     return;

diff --git a/infra/nightly-resources/llvm.html b/infra/nightly-resources/llvm.html
@@ -12,7 +12,7 @@
 <title>LLVM</title>
 
 <body onload="load_llvm()">
-  <h2>LLVM</h2>
+  <h2 id="llvm-header">LLVM</h2>
   <button class="collapsible" onclick="toggleAllPngs(this)">Expand All</button>
   <div id="llvm-cfg"></div>
   <button type="button" class="collapsible" onclick="toggle(this, '\u25B6 Show LLVM', '\u25BC Hide LLVM')">\u25BC Hide LLVM</button>