chore: update dist

noir-lang · Jan 3, 2025 · 60c57a6 · 60c57a6
1 parent c150334
commit 60c57a6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dist/index.js b/dist/index.js
@@ -540,7 +540,7 @@ const report_1 = __nccwpck_require__(8269);
 const token = process.env.GITHUB_TOKEN || core.getInput("token");
 const report = core.getInput("report");
 const header = core.getInput("header");
-const brillig_report = core.getInput("brillig_report");
+const brillig_report = core.getInput("brillig_report") === "true";
 const brillig_report_bytes = core.getInput("brillig_report_bytes");
 const summaryQuantile = parseFloat(core.getInput("summaryQuantile"));
 // const sortCriteria = core.getInput("sortCriteria").split(",");

diff --git a/dist/index.js.map b/dist/index.js.map