Fixed github.head_ref

ftsrg · Nov 12, 2023 · 9342b6e · 9342b6e
1 parent 110da78
commit 9342b6e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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'