From af809ef028e1e3ed59284e2506cab0f275b55d8e Mon Sep 17 00:00:00 2001
From: Ilija Tovilo <ilija.tovilo@me.com>
Date: Sat, 15 Apr 2023 23:30:07 +0200
Subject: [PATCH] Fix CI benchmarking diff

---
 .github/workflows/push.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 8f52ac5bdd2..19a7985e5b7 100644
--- 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