fix: scripts

0xPolygonZero · Nov 5, 2024 · 94761ae · 94761ae
1 parent f20fdf0
commit 94761ae
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
@@ -49,8 +49,9 @@ jobs:
           PERF_TIME=`cat output.log | grep "seconds time elapsed" |  tail -1 | awk '{ print ($1)}'`
           PERF_USER_TIME=`cat output.log | grep "seconds user" |  tail -1 | awk '{ print ($1)}'`
           PERF_SYS_TIME=`cat output.log | grep "seconds sys" |  tail -1 | awk '{ print ($1)}'`
-          cat output.log
-          echo "RUN_ID=${{ github.run_id }} MEASURED_PROVING_TIME_SEC=$MEASURED_PROVING_TIME_SEC PERF_TIME=$PERF_TIME PERF_USER_TIME=$PERF_USER_TIME PERF_SYS_TIME=$PERF_SYS_TIME FILE=$BENCHMARK_WITNESS"
+          echo "RUN_ID=${{ github.run_id }} MEASURED_PROVING_TIME_SEC=$MEASURED_PROVING_TIME_SEC \
+            PERF_TIME=$PERF_TIME PERF_USER_TIME=$PERF_USER_TIME \
+            PERF_SYS_TIME=$PERF_SYS_TIME FILE=$BENCHMARK_WITNESS"
           printf '%12s     %-12s     %-24s    %-20s    %-20s    %-20s    %-s\n' \
             `date --utc +%y-%m-%d-%H:%M:%S` ${{ github.run_id }} \
             $MEASURED_PROVING_TIME_SEC $PERF_TIME $PERF_USER_TIME \

diff --git a/scripts/benchmark_input.sh b/scripts/benchmark_input.sh
@@ -43,7 +43,7 @@ perf stat -e cycles "${REPO_ROOT}/target/release/leader" --runtime in-memory --l
 end_time=$(date +%s%N)
 
 set +o pipefail
-grep "Successfully wrote to disk proof file" "$OUT_LOG_PATH" | awk '{print $NF}' | tee "$PROOFS_FILE_LIST"
+grep "Successfully wrote to disk proof file" "$OUTPUT_LOG" | awk '{print $NF}' | tee "$PROOFS_FILE_LIST"
 if [ ! -s "$PROOFS_FILE_LIST" ]; then
 	# Some error occurred, display the logs and exit.
 	cat "$OUTPUT_LOG"