Fix CI benchmarking diff

php · Apr 15, 2023 · af809ef · af809ef
1 parent 2044e5a
commit af809ef
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -305,8 +305,8 @@ jobs:
  git push
  - name: Show diff
  if: github.event_name == 'pull_request'
- run: >-
- php benchmark/generate_diff.php
- ${{ github.event.pull_request.head.sha }}
- $(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }})
- > $GITHUB_STEP_SUMMARY
+ run: |-
+ php benchmark/generate_diff.php \
+  ${{ github.sha }} \
+  $(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.sha }}) \
+  > $GITHUB_STEP_SUMMARY