From 94761ae1893002ea0621595a60c153975aafde8d Mon Sep 17 00:00:00 2001 From: Marko Atanasievski Date: Tue, 5 Nov 2024 11:31:43 +0100 Subject: [PATCH] fix: scripts --- .github/workflows/benchmark.yml | 5 +++-- scripts/benchmark_input.sh | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml index 135c58352..964bbf28b 100644 --- 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 index 10a089729..c5ca705c2 100755 --- 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"