Disable the benchmarks github workflow

.github/workflows/benchmarks.yml

@@ -1,15 +0,0 @@
----
-on: [pull_request]
-
-name: Benchmark pull requests
-
-jobs:
-  runBenchmark:
-    name: run benchmark
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@master
-      - name: run benchmark
-        uses: matchai/criterion-compare-action@master
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}