prettier

egraphs-good · Jun 12, 2024 · 992680c · 992680c
1 parent 0b8b72f
commit 992680c
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/infra/nightly-resources/data.js b/infra/nightly-resources/data.js
@@ -40,9 +40,11 @@ function shouldHaveLlvm(runMethod) {
 }
 
 function getBrilPathForBenchmark(benchmark) {
-  const o = GLOBAL_DATA.currentRun.find(o => o.benchmark === benchmark);
+  const o = GLOBAL_DATA.currentRun.find((o) => o.benchmark === benchmark);
   if (!o) {
-    console.error(`couldn't find entry for ${benchmark} (this shouldn't happen)`);
+    console.error(
+      `couldn't find entry for ${benchmark} (this shouldn't happen)`,
+    );
   }
   return o.metadata.path;
 }

diff --git a/infra/nightly-resources/handlers.js b/infra/nightly-resources/handlers.js
@@ -68,7 +68,9 @@ function selectAllBenchmarks(enabled, category) {
   let checkboxes = Array.from(checkboxContainer.getElementsByTagName("input"));
   if (category === "looped") {
     const loopedBenchmarks = new Set(
-      GLOBAL_DATA.currentRun.filter((x) => x.metadata.looped).map((x) => x.benchmark),
+      GLOBAL_DATA.currentRun
+        .filter((x) => x.metadata.looped)
+        .map((x) => x.benchmark),
     );
     checkboxes = checkboxes.filter((x) => loopedBenchmarks.has(x.id));
   }