remove auto-push

.github/workflows/benchmark.yml

@@ -56,15 +56,22 @@ jobs:
           output-file-path: output.txt
           # Where the previous data file is stored
           ##external-data-json-path: ./cache/benchmark-data.json
-          github-token: ${{ secrets.GITHUB_TOKEN }}
-          auto-push: true
+          # github-token: ${{ secrets.GITHUB_TOKEN }}
+          # auto-push: true
 
       # - name: Setup upterm session
       #   uses: lhotari/action-upterm@v1
 
-      # # Push gh-pages branch by yourself
-      # - name: Push benchmark result
-      #   run: git push remote gh-pages:gh-pages --no-verify
+      # Push gh-pages branch by yourself
+      - name: Push benchmark result
+        run: |
+          git fetch gh-pages:gh-pages
+          git switch gh-pages
+          git pull gh-pages
+          git add dev/bench/data.js dev/bench/index.html
+          git commit -m "add Benchmark (customSmallerIsBetter) benchmark result for $GITHUB_SHA"
+          git push gh-pages:gh-pages --no-verify
+          git checkout -
 
 
       # - name: Clean the deployment