From 9342b6e2bc2fd55459379e15292d655948d73184 Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Sun, 12 Nov 2023 17:55:13 +0100
Subject: [PATCH] Fixed github.head_ref

---
 .github/actions/benchexec-report/action.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/actions/benchexec-report/action.yml b/.github/actions/benchexec-report/action.yml
index d98b78a510..846a1fc84a 100644
--- a/.github/actions/benchexec-report/action.yml
+++ b/.github/actions/benchexec-report/action.yml
@@ -38,7 +38,7 @@ runs:
             [ $incorrect -eq 0 ] || emoji=":exclamation:"
             echo "<details><summary> $emoji ${i#BenchexecResults-} ($correct / $incorrect / $all)</summary>" >> $GITHUB_OUTPUT
             echo >> $GITHUB_OUTPUT
-            echo '`table-generator`'" output: [HTML](https://theta.mit.bme.hu/benchmark-results/${{ github.ref_name }}/$i/$(ls *.html))/[CSV](https://theta.mit.bme.hu/benchmark-results/${{ github.ref_name }}/$i/$(ls *.csv))"
+            echo '`table-generator`'" output: [HTML](https://theta.mit.bme.hu/benchmark-results/${{ github.head_ref }}/$i/$(ls *.html))/[CSV](https://theta.mit.bme.hu/benchmark-results/$${{ github.head_ref }}/$i/$(ls *.csv))" >> $GITHUB_OUTPUT
             echo >> $GITHUB_OUTPUT
             echo '```'  >> $GITHUB_OUTPUT
             cat *.txt  >> $GITHUB_OUTPUT
@@ -58,11 +58,12 @@ runs:
         name: BenchexecResults
         path: artifacts
     - name: Deploy to GHPages
+      if: github.event_name == 'pull_request'
       uses: JamesIves/github-pages-deploy-action@22a6ee251d6f13c6ab1ecb200d974f1a6feb1b8d # v4.4.2
       with:
         branch: gh-pages
         folder: artifacts
-        target-folder: benchmark-results/${{ github.ref_name }}/
+        target-folder: benchmark-results/${{ github.head_ref }}/
         single-commit: true
     - name: Comment on PR
       if: github.event_name == 'pull_request'