.

GaloisInc · Aug 27, 2024 · ea9e9c3 · ea9e9c3
1 parent ce6a2c1
commit ea9e9c3
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci-pr-bench.yml b/.github/workflows/ci-pr-bench.yml
@@ -125,10 +125,10 @@ jobs:
 
     - name: Compare results
       run: |
+        echo "BASE_SHA=$(echo ${{ github.event.pull_request.base.sha }} | cut -c1-8)" >> $GITHUB_ENV
+        echo "HEAD_SHA=$(echo ${{ github.event.pull_request.head.sha }} | cut -c1-8)" >> $GITHUB_ENV
         echo 'Benchmark comparison for [`${{ env.HEAD_SHA }}`](${{ github.event.repository.html_url }}/commit/${{ github.event.pull_request.head.sha }}) (PR) vs [`${{ env.BASE_SHA }}`](${{ github.event.repository.html_url }}/commit/${{ github.event.pull_request.base.sha }}) (baseline).' >> tests/benchmark-comparison.txt
-          echo '```' >> tests/benchmark-comparison.txt
-          echo tests/compare-benchmarks.py tests/benchmark-data-baseline.json tests/benchmark-data-pr.json >> tests/benchmark-comparison.txt
-          echo '```' >> tests/benchmark-comparison.txt
+        tests/compare-benchmarks.py tests/benchmark-data-baseline.json tests/benchmark-data-pr.json >> tests/benchmark-comparison.txt
 
     - name: 'Comment PR'
       uses: actions/[email protected]