update benmark.yaml from using benchmark action to just cat result.json

.github/workflows/benchmark.yaml

@@ -80,19 +80,10 @@ jobs:
           WITHOUTGDB: ON
         run: make benchmark
 
-      - name: Store benchmark result
-        uses: benchmark-action/github-action-benchmark@v1
-        with:
-          name: benchmark
-          tool: "customSmallerIsBetter"
-          output-file-path: "test/benchmark/report/combined_benchmark.json"
-          github-token: ${{ secrets.GITHUB_TOKEN }}
-          auto-push: true
-
   result:
     runs-on: ubuntu-latest
     timeout-minutes: 60
     needs: [ CI ]
     steps:
-      - name: Build Result
-        run: echo "Just to make the GitHub merge button green"
+      - name: Show benchmark result
+        run: cat test/benchmark/report/combined_benchmark.json