diff --git a/.github/workflows/reports.yml b/.github/workflows/reports.yml index f8750e5aaf..86a59310f6 100644 --- a/.github/workflows/reports.yml +++ b/.github/workflows/reports.yml @@ -425,7 +425,7 @@ jobs: - name: Parse compilation report id: compilation_report - uses: noir-lang/noir-bench-report@0d7464a8c39170523932d7846b6e6b458a294aea + uses: noir-lang/noir-bench-report@e408e131e96c3615b4f820d7d642360fb4d6e2f4 with: report: compilation_report.json header: | @@ -538,7 +538,7 @@ jobs: - name: Parse memory report id: memory_report - uses: noir-lang/noir-bench-report@0d7464a8c39170523932d7846b6e6b458a294aea + uses: noir-lang/noir-bench-report@e408e131e96c3615b4f820d7d642360fb4d6e2f4 with: report: memory_report.json header: | @@ -582,7 +582,7 @@ jobs: - name: Parse execution report id: execution_report - uses: noir-lang/noir-bench-report@0954121203ee55dcda5c7397b9c669c439a20922 + uses: noir-lang/noir-bench-report@e408e131e96c3615b4f820d7d642360fb4d6e2f4 with: report: execution_report.json header: | diff --git a/test_programs/compilation_report.sh b/test_programs/compilation_report.sh index 9f2f8b9614..360eecd284 100755 --- a/test_programs/compilation_report.sh +++ b/test_programs/compilation_report.sh @@ -55,7 +55,7 @@ for dir in ${tests_to_profile[@]}; do # Keep only last three decimal points AVG_TIME=$(awk '{printf "%.3f\n", $1}' <<< "$AVG_TIME") - echo -e " {\n \"artifact_name\":\"$PACKAGE_NAME\",\n \"time\":\"0m"$AVG_TIME"s\"" >> $current_dir/compilation_report.json + echo -e " {\n \"artifact_name\":\"$PACKAGE_NAME\",\n \"time\":\""$AVG_TIME"s\"" >> $current_dir/compilation_report.json if (($ITER == $NUM_ARTIFACTS)); then echo "}" >> $current_dir/compilation_report.json diff --git a/test_programs/execution_report.sh b/test_programs/execution_report.sh index bb3adf143f..073871e60f 100755 --- a/test_programs/execution_report.sh +++ b/test_programs/execution_report.sh @@ -62,7 +62,7 @@ for dir in ${tests_to_profile[@]}; do # Keep only last three decimal points AVG_TIME=$(awk '{printf "%.3f\n", $1}' <<< "$AVG_TIME") - echo -e " {\n \"artifact_name\":\"$PACKAGE_NAME\",\n \"time\":\"0m"$AVG_TIME"s\"" >> $current_dir/execution_report.json + echo -e " {\n \"artifact_name\":\"$PACKAGE_NAME\",\n \"time\":\""$AVG_TIME"s\"" >> $current_dir/execution_report.json if (($ITER == $NUM_ARTIFACTS)); then echo "}" >> $current_dir/execution_report.json