ci: drop local gh-pages commit if bench result is not pushed to gh-pages

If benchmark result is not pushed to gh-pages, on a consecutive benchmark step, there will be a non-fast-forward git fetch error Signed-off-by: Thing-han, Lim <[email protected]>
pq-code-package · Nov 25, 2024 · 7fcb4bd · 7fcb4bd
1 parent f424431
commit 7fcb4bd
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/actions/bench/action.yml b/.github/actions/bench/action.yml
@@ -97,3 +97,10 @@ runs:
         comment-on-alert: true
         summary-always: true
         alert-threshold: ${{ inputs.alert_threshold }}
+    - name: Reset gh-pages if result is not pushed to gh-pages
+      shell: ${{ env.SHELL }}
+      if: ${{ inputs.store_results != 'true' }}
+      run: |
+        git -c advice.detachedHead=false switch gh-pages
+        git reset --hard HEAD~1
+        git checkout -