fmt

egraphs-good · Feb 10, 2025 · be64134 · be64134
1 parent 2b911e8
commit be64134
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 16 deletions.
diff --git a/infra/nightly-resources/index.js b/infra/nightly-resources/index.js
@@ -122,12 +122,9 @@ function refreshView() {
   for (const suite of getSuites()) {
     const tableData = tableForSuite(suite);
     addTableTo(document.getElementById("tables"), tableData, suite + " Stats");
-    latexMacros = latexMacros + nestedJsonToLatexMacros(
-      tableData,
-      "name",
-      "executions",
-      "runMethod",
-    );
+    latexMacros =
+      latexMacros +
+      nestedJsonToLatexMacros(tableData, "name", "executions", "runMethod");
   }
 
   renderWarnings();

diff --git a/infra/nightly-resources/latex.js b/infra/nightly-resources/latex.js
@@ -110,16 +110,16 @@ function jsonToLatexTable(json) {
 }
 
 const replenum = {
-  "0": "zero",
-  "1": "one",
-  "2": "two",
-  "3": "three",
-  "4": "four",
-  "5": "five",
-  "6": "six",
-  "7": "seven",
-  "8": "eight",
-  "9": "nine",
+  0: "zero",
+  1: "one",
+  2: "two",
+  3: "three",
+  4: "four",
+  5: "five",
+  6: "six",
+  7: "seven",
+  8: "eight",
+  9: "nine",
 };
 
 // remove dashes and underscores, replace numbers with words