Use github PR base sha in ci for benchmark

vgvassilev · Aug 24, 2023 · 57a9167 · 57a9167
1 parent 7108591
commit 57a9167
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -702,7 +702,7 @@ jobs:
 
         # Get the performance for previous version. If it were a PR the master
         # or the previous hash
-        hash=$([[ -z "${{ github.event.pull_request }}" ]] && echo ${{ github.event.before }} || echo ${{ github.base_ref }})
+        hash=$([[ -z "${{ github.event.pull_request }}" ]] && echo ${{ github.event.before }} || echo ${{ github.event.pull_request.base.sha }})
         echo "Running git checkout '$hash'"
         git checkout $hash
         cd obj